elementary proving 中文意思是什麼
elementary proving
解釋
基本標定- elementary : adj. 1. 初步的，初等的；基本的，根本的，本質的。2. 自然力的。3. 單元的，單體的。4. 【化學】元素的。adv. -rily ,-riness n.
- proving : 檢驗的
-
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提供了一種基於吳方法的增元消元法的求解方程組獨立個數的數學新思路，不僅可以被數學領域而且可以被工程領域里的研究人員所借鑒。 -
1 wu w t. on the decision problem and the mechanization of theorem - proving in elementary geometry. scientia sinica, 1978, : 159 - 172. re - published in em automated theorem proving : after 25 years, 1984, pp. 213 - 234
本文第一作者于上世紀七十年代末開始從事數學機械化研究，致力於實現推理與方程求解的自動化，並創立了幾何定理機器證明的吳方法與方程求解的特徵列方法。 -
In this paper, we are concerned with the sizes of t - blocking sets, ( k, r ) - arcs and caps in finite projective spaces, not only giving one theorem an elementary proof, improving some theorem " s results, but also proving some new exact values
本文研究了有限射影空間中t - blocking集， arcs和caps中元素個數的上界值。不僅用自己的方法簡化了某些定理的證明過程，改進了一些定理的結果，而且還證明了一些新的精確值和上界值。 -
Proving lagrange theorem mean through the introduction of auxiliary function, this article puts forword the methods of building auxiliary function by the mathematical operations and two functions compound operation ; this is a method building all elementary function by the basic elementary function, which is a way to solve the problem of the auxiliary function building
摘要文章給出了用四則運算以及兩個函數的復合運算構造輔助函數來證明拉格朗日中值定理的方法，這也是用基本初等函數構造全部初等函數的方法，因而比較圓滿地解決了輔助函數構造問題。
分享友人