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

Wu's method for automated geometry theorem proving and discovering

Mathematics Mechanization and Applications ◽

10.1016/b978-012734760-8/50006-5 ◽

2000 ◽

pp. 125-146 ◽

Author(s):

Chou Shang-Ching ◽

Lin Dongdai

Keyword(s):

Theorem Proving ◽

Wu’S Method ◽

Wu's Method ◽

Automated Geometry Theorem Proving ◽

Geometry Theorem Proving

Download Full-text

Automated geometry theorem proving by vector calculation

Proceedings of the 1993 international symposium on Symbolic and algebraic computation - ISSAC '93 ◽

10.1145/164081.164142 ◽

1993 ◽

Author(s):

Shang-Ching Chou ◽

Xiao-Shan Gao ◽

Jing-Zhong Zhang

Keyword(s):

Theorem Proving ◽

Automated Geometry Theorem Proving ◽

Geometry Theorem Proving

Download Full-text

On the application of Buchberger's algorithm to automated geometry theorem proving

Journal of Symbolic Computation ◽

10.1016/s0747-7171(86)80006-2 ◽

1986 ◽

Vol 2 (4) ◽

pp. 389-397 ◽

Author(s):

B. Kutzler ◽

S. Stifter

Keyword(s):

Theorem Proving ◽

Automated Geometry Theorem Proving ◽

Geometry Theorem Proving

Download Full-text

Automated geometry theorem proving using Buchberger's algorithm

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

10.1145/32439.32480 ◽

1986 ◽

Author(s):

B. Kutzler ◽

S. Stifter

Keyword(s):

Theorem Proving ◽

Automated Geometry Theorem Proving ◽

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