搜索结果: 1-1 共查到“科学技术史 Four”相关记录1条 . 查询时间(0.04 秒)
“Method of Four Unknowns”四元術 as inspiration for Wu Wenjun 吴文俊
Method of Four Unknowns 四元術 as inspiration for Wu Wenjun 吴文俊
2014/3/12
“The algorithm we use for mechanical proofs of theorems in elementary geometry involves mainly some applied techniques for polynomials, such as arithmetic operations and simple eliminations of unknown...