proving press 中文意思是什麼
proving press
解釋
手動小打樣機-
6 wu w t. basic principles of mechanical theorem proving in geometries. volume i : part of elementary geometries, beijing : science press, 1984 ; springer 1994. 7 wu w t. mathematics mechanization
2提供了一種基於吳方法的增元消元法的求解方程組獨立個數的數學新思路,不僅可以被數學領域而且可以被工程領域里的研究人員所借鑒。
分享友人