Application of computer algebra to geometry theorem proving
碩士 === 國立雲林科技大學 === 資訊工程研究所 === 94 === We plan to develop a learning environment supported by free computer algebra systems such as GAP and SINGULAR. However, most free CASs have some limitations for our purpose. So we still need support from commercial CASs such as Maple. In future, we can remove t...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2006
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/94633007198185402070 |