基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 190 浏览量: 280
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量