An Authoring Tool for Natural Language Understanding of Geometry Proofs and Dynamic Geometry Figure Generation
碩士 === 雲林科技大學 === 資訊工程研究所 === 96 === With advanced technologies of natural language processing, can be very user-friendly interactions between computer and human. Recently, humans can use their language to manage computers in applications of NLP on many domains, especially in learning. In this paper...
Main Authors: | Yu-Hao Li, 李御豪 |
---|---|
Other Authors: | Wing-Kwong Wong |
Format: | Others |
Language: | zh-TW |
Published: |
2008
|
Online Access: | http://ndltd.ncl.edu.tw/handle/94616273039125386349 |
Similar Items
-
Natural Language Understanding of Geometry Theorem Proving Problems and Dynamic Geometry Learning Environment
by: Chun-Wei Huang, et al.
Published: (2007) -
Proof in dynamic geometry environments
by: Jones, Keith, et al.
Published: (2000) -
Geometry and proof
by: Jones, Keith, et al.
Published: (2001) -
The implementation of self-explanation strategy to develop understanding proof in geometry
by: Samsul Maarif, et al.
Published: (2020-07-01) -
Finite Geometries: a tool for better understanding of Euclidean Geometry
by: Antonio Maturo
Published: (2014-06-01)