没有合适的资源?快使用搜索试试~ 我知道了~
温馨提示
此存储库是网站的源代码。 物理推导图是一个专注于以下方面的项目: 主张:存在一个描述所有数学物理的有限静态有向图。 声明:图形表示是机器可解析的 要求:可以通过计算机代数系统检查图中推导步骤的有效性 截至2020年9月的状态:项目作者相信主张1和2。项目作者尚不清楚当前的计算机代数系统是否能够验证所有数学物理学。 这项工作的令人惊讶的结果是枚举了的。 发牌 软件需求 码头工人 网络浏览器 使用方法(不耐烦) git clone https://github.com/allofphysicsgraph/proofofconcept.git cd proofofconcept/v7_pi
资源详情
资源评论
资源推荐
收起资源包目录
概念验证:物理推导图 (2000个子文件)
addEqXtoEqY 729B
addXtoBothSides 691B
addZerotoLHS 806B
addZerotoRHS 805B
IntOverFromTo_ast_20170615.ast 186B
addExprXtoExprY_ast_21070615.ast 151B
sumExponents_ast_20170615.ast 146B
sumExponentsLHS_ast_20170615.ast 118B
bothsidescrossX_ast_20170615.ast 116B
Xcrossbothsidesby_ast_20170615.ast 114B
bothsidesdotX_ast_20170615.ast 112B
Xdotbothsides_ast_20170615.ast 110B
applyDivergence_ast_20170615.ast 106B
sumExponentsRHS_ast_20170615.ast 106B
subtractXfromBothSides_ast_20151229.ast 104B
addXtoBothSides_ast_20170607.ast 104B
addZerotoLHS_ast_20170615.ast 100B
addZerotoRHS_ast_20170615.ast 100B
applyGradientToScalarFunction_ast_20170615.ast 90B
swapLHSwithRHS_ast_20170615.ast 69B
bibliography.bib 2KB
pdg.bib 1KB
fonts.tar.bz2 927KB
pydvi2svg.tar.bz2 53KB
cmmi7.cache 63KB
cmmi10.cache 62KB
cmsy7.cache 51KB
cmsy5.cache 51KB
cmsy10.cache 50KB
cmr10.cache 45KB
cmr7.cache 45KB
cmr5.cache 43KB
cmex10.cache 31KB
claimEqXequalsEqY 593B
claimLHSequalsRHS 552B
nginx.conf 2KB
conjugateBothSides 732B
conjugateFunctionX 736B
conjugateTransposeBothSides 911B
gleap.css 3KB
style.css 2KB
graph-creator.css 1KB
shapes.css 270B
connections_database.csv 49KB
expressions_database.csv 15KB
inference_rules_database.csv 9KB
inference_rules_database.csv 9KB
symbols_database.csv 8KB
derivation_edge_list.csv 8KB
inference_rule_identifiers.csv 6KB
iso3166.csv 4KB
expression_identifiers.csv 4KB
derivation_edge_list.csv 2KB
derivation_edge_list.csv 1KB
comments_database.csv 1KB
inference_rule_identifiers.csv 1KB
inference_rule_identifiers.csv 1KB
feed_database.csv 888B
expression_identifiers.csv 741B
expression_identifiers.csv 722B
derivation_edge_list.csv 640B
derivation_edge_list.csv 576B
derivation_edge_list.csv 576B
feeds.csv 496B
derivation_edge_list.csv 496B
derivation_edge_list.csv 432B
inference_rule_identifiers.csv 424B
derivation_edge_list.csv 368B
derivation_edge_list.csv 368B
derivation_edge_list.csv 368B
inference_rule_identifiers.csv 337B
inference_rule_identifiers.csv 326B
inference_rule_identifiers.csv 319B
inference_rule_identifiers.csv 302B
inference_rule_identifiers.csv 296B
inference_rule_identifiers.csv 289B
derivation_edge_list.csv 288B
inference_rule_identifiers.csv 288B
expression_identifiers.csv 285B
expression_identifiers.csv 266B
derivation_edge_list.csv 256B
derivation_edge_list.csv 256B
expression_identifiers.csv 252B
inference_rule_identifiers.csv 240B
inference_rule_identifiers.csv 239B
inference_rule_identifiers.csv 234B
expression_identifiers.csv 209B
expression_identifiers.csv 209B
expression_identifiers.csv 209B
derivation_edge_list.csv 208B
expression_identifiers.csv 190B
expression_identifiers.csv 190B
inference_rule_identifiers.csv 186B
derivation_edge_list.csv 160B
expression_identifiers.csv 152B
expression_identifiers.csv 152B
derivation_edge_list.csv 144B
inference_rule_identifiers.csv 134B
expression_identifiers.csv 133B
expression_identifiers.csv 126B
共 2000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 20
梦想是世界和平
- 粉丝: 19
- 资源: 4625
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0