geometry theorem proving Latest Research Papers

Automation of Geometry – Theorem Proving, Diagram Generation, and Knowledge Management

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40672-0_2 ◽

2013 ◽

pp. 31-32

Author(s):

Dongming Wang

Keyword(s):

Knowledge Management ◽

Theorem Proving ◽

Geometry Theorem Proving

Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21046-4_3 ◽

2011 ◽

pp. 42-59 ◽

Cited By ~ 9

Author(s):

Benjamin Grégoire ◽

Loïc Pottier ◽

Laurent Théry

Keyword(s):

Theorem Proving ◽

Geometry Theorem Proving

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

Intelligent understanding of handwritten geometry theorem proving

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

10.1145/1719970.1719988 ◽

2010 ◽

Cited By ~ 9

Author(s):

Yingying Jiang ◽

Feng Tian ◽

Hongan Wang ◽

Xiaolong Zhang ◽

Xugang Wang ◽

...

Keyword(s):

Theorem Proving ◽

Geometry Theorem Proving

Geometry theorem proving by Gröbner bases

ACM Communications in Computer Algebra ◽

10.1145/1504347.1504366 ◽

2009 ◽

Vol 42 (3) ◽

pp. 158-159

Author(s):

Shuichi Moritsugu ◽

Chisato Arai

Keyword(s):

Theorem Proving ◽

Gröbner Bases ◽

Grobner Bases ◽

Geometry Theorem Proving

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 ◽

Cited By ~ 1

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

Geometry theorem proving by decomposing polynomial system into strong regular sets

Journal of Computer Science and Technology ◽

10.1007/bf02973445 ◽

2004 ◽

Vol 19 (6) ◽

pp. 820-827

Author(s):

Yong-Bin Li ◽

Wu Liu ◽

Xiao-Lin Xiang

Keyword(s):

Theorem Proving ◽

Polynomial System ◽

Geometry Theorem Proving ◽

Regular Sets

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 ◽

Cited By ~ 4

Author(s):

Noboru Matsuda ◽

Kurt VanLehn

Keyword(s):

Theorem Proving ◽

Geometry Theorem Proving

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 ◽

Cited By ~ 1

Author(s):

Ricardo Caferra ◽

Nicolas Peltier ◽

François Puitg

Keyword(s):

Theorem Proving ◽

Practical Realization ◽

Automated Geometry Theorem Proving ◽

Geometry Theorem Proving

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

10.1007/978-0-85729-329-9 ◽

2001 ◽

Cited By ~ 3

Author(s):

Jacques Fleuriot

Keyword(s):

Theorem Proving ◽

Nonstandard Analysis ◽

Geometry Theorem Proving

geometry theorem proving
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Automation of Geometry – Theorem Proving, Diagram Generation, and Knowledge Management

Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving

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

Intelligent understanding of handwritten geometry theorem proving

Geometry theorem proving by Gröbner bases

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

Geometry theorem proving by decomposing polynomial system into strong regular sets

Modeling Hinting Strategies for Geometry Theorem Proving

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

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Export Citation Format

geometry theorem provingRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Automation of Geometry – Theorem Proving, Diagram Generation, and Knowledge Management

Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving

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

Intelligent understanding of handwritten geometry theorem proving

Geometry theorem proving by Gröbner bases

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

Geometry theorem proving by decomposing polynomial system into strong regular sets

Modeling Hinting Strategies for Geometry Theorem Proving

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

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

geometry theorem proving
Recently Published Documents