登录后查看消息通知
搜索
常见问题
消息
登录
stp.pdf
收藏
DataCite Commons
2023-03-16 更新
2026-05-26 收录
下载链接:
https://dataverse.geus.dk/file.xhtml?persistentId=doi:10.22008/FK2/6B71S0/VJKZOF
下载链接
链接失效反馈
官方服务:
购买咨询
问题咨询
资源简介:
:unav
应用场景:
提供机构:
GEUS Dataverse
创建时间:
2023-03-16
相关数据集
STP dataset
包含从mathlib4提取的示例、LeanWorkbook声明的正确证明,以及模型在自我玩耍训练期间提出的猜想证明的数据集。
github
2025-03-01 更新
14
0
DGI_RTQ_ERB_jurnal_STP_mataram_mei_2021.pdf
:unav
DataCite Commons
2023-10-05 更新
5
0
ESTATISTICA PESQUEIRA STP
Dados de pesca de São Tomé e Príncipe
Zenodo
2026-06-07 更新
0
0
stp-dataset
该数据集包含了全球科学和技术园区的信息,数据来源于IASP网站的成员目录。
github
2023-04-03 更新
53
0
Examples of STPs.
For each of the six tissues, one example of a common STP λ = (g ⇒ g′) is shown. P(DNA&RNA) is our sample-based estimate of the probability that λ is an aberrant pair, namely, the fraction of samples o
Figshare
2021-06-11 更新
0
0
© 2023-2026 上海数据发展科技有限责任公司 版权所有
沪ICP备17003045号-15
沪公网安备31010402336585号
热门搜索
社区交流群
科研交流群
商业服务
数据资源
寻源服务
数据采集
标注服务
数据产品
代理销售
数据领域
凭证登记
数据产品
介绍推广