Automatic Geometry Theorem Proving
碩士 === 淡江大學 === 數學學系 === 90 === The Groebner bases were introduced by Bruno Buchberger in his Ph.D. thesis,1965. In the thesis, he brought forward an algorithm for constructing Groebner bases. In the years 1994, 1995, the EIDMA (EIDMA is the Research School 'Eul...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2002
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/65928293351850979367 |