Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems-Reference-Cited by-同舟云学术

Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems

Published: Issue: Volume: Page:113-138
ISSN:
Container-title:Automated Deduction in Geometry
language:
Short-container-title:

Author:

Montes Antonio,Recio Tomás

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-77356-6_8.pdf

Reference31 articles.

1. Beltrán, C., Dalzotto, G., Recio, T.: The moment of truth in automatic theorem proving in elementary geometry. In: Botana, F., Roanes-Lozano, E. (eds.) Proceedings ADG 2006 (extended abstracts), Universidad de Vigo (2006)

2. Lecture Notes in Artificial Intelligence;F. Botana,2006

3. Lecture Notes in Artificial Intelligence;X.F. Chen,2005

4. Lecture Notes in Artificial Intelligence;X.F. Chen,2004

5. Chou, S.-C.: Proving Elementary Geometry Theorems Using Wu’s Algorithm Contemporary Mathematics. Automated Theorem Proving: After 25 Years, American Mathematical Society, Providence, Rhode Island 29, 243–286 (1984)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automated Generation of Geometry Proof Problems Based on Point Geometry Identity;Journal of Automated Reasoning;2024-06

2. Parametric Standard Bases and Their Applications;Computer Algebra in Scientific Computing;2019

3. Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano’s Arithmetic;Intelligent Information and Database Systems;2017

4. On Checking Linear Dependence of Parametric Vectors;Intelligent Computing Theories and Application;2017

5. Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method;Journal of Automated Reasoning;2016-11-22