当前位置：
X-MOL 学术
›
Exp. Math.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Foreword to: Special Issue on Interactive Theorem Provers
Experimental Mathematics ( IF 0.5 ) Pub Date : 2022-06-25 , DOI: 10.1080/10586458.2022.2088982 Alex Kontorovich 1, 2
Experimental Mathematics ( IF 0.5 ) Pub Date : 2022-06-25 , DOI: 10.1080/10586458.2022.2088982 Alex Kontorovich 1, 2
Affiliation
Published in Experimental Mathematics (Vol. 31, No. 2, 2022)
中文翻译：
前言：交互式定理证明器特刊
发表于 实验数学（2022年第31卷第2期）
更新日期：2022-06-25
中文翻译：
前言：交互式定理证明器特刊
发表于 实验数学（2022年第31卷第2期）
京公网安备 11010802027423号