The Strategies in Proving Plane Geometry Problems with Auxiliary Lines
碩士 === 中原大學 === 應用數學研究所 === 102 === Abstract In all material covered in high school mathematical class, “proof question” has been recognized as a highly efficient mean in logic reasoning training. Unfortunately from practical teaching experience, such training seems to be the Achilles’ tendon in mod...
Main Authors: | Sheng-Min Weng, 翁聖閔 |
---|---|
Other Authors: | Jin-Chirng Lee |
Format: | Others |
Language: | zh-TW |
Published: |
2014
|
Online Access: | http://ndltd.ncl.edu.tw/handle/s3m2j3 |
Similar Items
-
Automatic Geometry Theorem Proving
by: Wan-Ching Shih, et al.
Published: (2002) -
Natural Language Understanding of Geometry Theorem Proving Problems and Dynamic Geometry Learning Environment
by: Chun-Wei Huang, et al.
Published: (2007) -
Mechanized Geometry Theorem Proving System
by: Chia-Hsin Chan, et al.
Published: (2006) -
Automated theorem proving in elementary geometry
by: Alfredo Ferro, et al.
Published: (1988-11-01) -
Gröbner Basis and Geometry Theorem Proving
by: Hsiao-ming Sung, et al.
Published: (2004)