Application of computer algebra to geometry theorem proving

• Main Authors: Po-Wen Fang, 方柏文
• Other Authors: Wong, W. K.
• Format: Others
• Language: zh-TW
• Published: 2006
• Online Access: http://ndltd.ncl.edu.tw/handle/94633007198185402070

碩士 === 國立雲林科技大學 === 資訊工程研究所 === 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 these commercial tools when the limitations of the free CASs are overcome. With the vision of OpenMath, we use a mechanism which can exchange the algebraic equations and evaluate these equations among various CASs. In addition, our system can support education applications in geometry theorem proving.