Screen Library论初等几何定理的机器证明与消去法
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，则结论成立。 |