Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the ritt-wu principle

Artificial Intelligence ◽

10.1016/0004-3702(88)90051-3 ◽

1988 ◽

Vol 37 (1-3) ◽

pp. 95-122 ◽

Author(s):

Hai-Ping Ko

Keyword(s):

Theorem Proving ◽

Algebraic Sets ◽

Geometry Theorem Proving

Download Full-text

Geometry theorem proving using Hilbert's Nullstellensatz

Proceedings of the fifth ACM symposium on Symbolic and algebraic computation - SYMSAC '86 ◽

10.1145/32439.32479 ◽

1986 ◽

Author(s):

Deepak Kapur

Keyword(s):

Theorem Proving ◽

Geometry Theorem Proving

Download Full-text

Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-47997-x_1 ◽

1999 ◽

pp. 1-13

Author(s):

Wen-tsü Wu

Keyword(s):

Problem Solving ◽

Theorem Proving ◽

Geometry Theorem Proving ◽

Geometry Problem ◽

Geometry Problem Solving

Download Full-text

Characteristic Sets and Gröbner Bases in Geometry Theorem Proving

Algebraic Techniques ◽

10.1016/b978-0-12-046370-1.50008-5 ◽

1989 ◽

pp. 33-92 ◽

Author(s):

SHANG-CHING CHOU ◽

WILLIAM F. SCHELTER ◽

JIN-GEN YANG

Keyword(s):

Theorem Proving ◽

Gröbner Bases ◽

Grobner Bases ◽

Characteristic Sets ◽

Geometry Theorem Proving

Download Full-text

Modeling Hinting Strategies for Geometry Theorem Proving

User Modeling 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-44963-9_51 ◽

2003 ◽

pp. 373-377 ◽

Author(s):

Noboru Matsuda ◽

Kurt VanLehn

Keyword(s):

Theorem Proving ◽

Geometry Theorem Proving

Download Full-text

A generalized Euclidean algorithm for geometry theorem proving

Annals of Mathematics and Artificial Intelligence ◽

10.1007/bf01531324 ◽

1995 ◽

Vol 13 (1-2) ◽

pp. 73-95 ◽

Author(s):

Michael Kalkbrener

Keyword(s):

Theorem Proving ◽

Euclidean Algorithm ◽

Geometry Theorem Proving

Download Full-text

Intelligent understanding of handwritten geometry theorem proving

Proceedings of the 15th international conference on Intelligent user interfaces - IUI '10 ◽

10.1145/1719970.1719988 ◽

2010 ◽

Author(s):

Yingying Jiang ◽

Feng Tian ◽

Hongan Wang ◽

Xiaolong Zhang ◽

Xugang Wang ◽

...

Keyword(s):

Theorem Proving ◽

Geometry Theorem Proving

Download Full-text

Mechanical Geometry Theorem Proving

10.1007/978-94-009-4037-6 ◽

1987 ◽

Author(s):

Shang-Ching Chou

Keyword(s):

Theorem Proving ◽

Geometry Theorem Proving

Download Full-text

A computer-assisted environment for understanding geometry theorem proving problems and making conjectures

International Journal of Intelligent Information and Database Systems ◽

10.1504/ijiids.2009.027684 ◽

2009 ◽

Vol 3 (3) ◽

pp. 231 ◽

Author(s):

Wing Kwong Wong ◽

Chun Wei Huang ◽

Sheng Kai Yin ◽

Hsi Hsun Yang ◽

Po Yu Chen ◽

...

Keyword(s):

Theorem Proving ◽

Computer Assisted ◽

Geometry Theorem Proving

Download Full-text

Web-based interactive module with multiple representations for learning geometry theorem proving

2010 International Computer Symposium (ICS2010) ◽

10.1109/compsym.2010.5685525 ◽

2010 ◽

Author(s):

Hsi-Hsun Yang ◽

Sheng-Kai Yin ◽

Wing-Kwong Wong

Keyword(s):

Theorem Proving ◽

Multiple Representations ◽

Web Based ◽

Geometry Theorem Proving

Download Full-text

Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-45410-1_16 ◽

2001 ◽

pp. 268-305 ◽

Author(s):

Ricardo Caferra ◽

Nicolas Peltier ◽

François Puitg

Keyword(s):

Theorem Proving ◽

Practical Realization ◽

Automated Geometry Theorem Proving ◽

Geometry Theorem Proving

Download Full-text