A Dynamic Geometry Environment with Mechanical Theorem Proving
碩士 === 國立雲林科技大學 === 資訊工程研究所 === 93 === Dynamic geometry environments are important tools for geometry education. Most of them are used for showing geometric invariants but few of them provide tools for geometry theorem proving. All of them are built as applications that cannot be extended by a third...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2005
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/34000907533830425146 |