论初等几何定理的机器证明与消去法
Saved in:
Main Authors: | |
---|---|
Published: |
国防工业出版社
|
Publisher Address: | 北京 |
Publication Dates: | 2016 |
Literature type: | Book |
Language: | Chinese |
Subjects: | |
Carrier Form: | 257页: ; 26cm |
ISBN: | 978-7-118-10515-5 |
Index Number: | O123 |
CLC: | O123 |
Call Number: | O123/2905 |
Contents: | 本书介绍了初等几何机器证明,重点是消去法。首先介绍初等几何定理,如何通过坐标化,将已知条件转化为hi公式组,再形成三角阵列的Fi公式组(三角阵列是消去法的前提)。再将定理的结论形成gj公式组。消去法是对gj逐个用Fi(Fn,Fn-1,…,F1)做消去,最后如果所有gj=0,则结论成立。 |