定理证明 meaning in English
theorem proving
Examples
- A note on prouing of lagrange ' s mid - value theorem
关于拉格朗日中值定理证明的注记 - Catagenesis condition for approximate theorem - proving
近似定理证明中的退化条件 - Some new proofs of the lagrange mean value theorem
中值定理证明方法的讨论 - Solving the helen theorem with the cosine theorem
用余弦定理证明海伦公式 - Proving a class of problems by rolle ' theorem
罗尔定理证明一类存在性问题