Gröbner Basis and Geometry Theorem Proving
碩士 === 淡江大學 === 數學學系 === 92 === In this paper, first, we use the division algorithm in k[x_1,…x_n] to introduce Gröbner basis, some of its properties and some applications. Then we use these tools to construct the standard steps of automatic geometric theorem proving. In section 1, we int...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/99026639641926270097 |