...
机译:证据是在图中:刘毅及十一世纪中国代数方程的图形写作
CNRS SPHERE Case 7093 5 Rue Thomas Mann F-75205 Paris 13 France;
Algebraic equations; Diagrammatic proof; Algebraic proof; History of mathematics in China;
机译:证据是在图中:刘毅及十一世纪中国代数方程的图形写作
机译:证明验证对抽象代数中证明编写的影响
机译:数学专业的图表在模数上写下证明时使用
机译:大量代数方程组的并行求解器的图形环境
机译:代数证明和问题解决的好处:求解线性方程组的创新策略的研究。
机译:DESIGN TECHNIQUE OF BRACKET COMPLEXES CALLED “TIAO JIN•LIU JIN DOU KE”, “YI DOU ER SHENG JIAO MA YE DOU KE”, “YI DOU SAN SHENG DOU KE”, “SAN DI SHUI PIN ZI DOU KE”, “NEI LI QI PAN BAN SHANG AN ZHUANG PIN ZI KE”, “GE JIA KE” IN CHINESE CLASSICAL ARCHITECTURAL BOOK “GONG CHENG ZUO FA ZE LIE”
机译:关系代数与等式证明