The HR Program for Theorem Generation-Reference-Cited by-同舟云学术

The HR Program for Theorem Generation

Published:2002 Issue: Volume: Page:285-289
ISSN:0302-9743
Container-title:Automated Deduction—CADE-18
language:
Short-container-title:

Author:

Colton Simon

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45620-1_24

Reference11 articles.

1. S. Colton. Automated Theory Formation in Pure Mathematics. PhD thesis, Department of Artificial Intelligence, University of Edinburgh, 2000.

2. S. Colton, A. Bundy, and T. Walsh. Automatic identification of mathematical concepts. In Machine Learning: Proceedings of the 17th International Conference, 2000.

3. S. Colton, A. Bundy, and T. Walsh. On the notion of interestingness in automated mathematical discovery. IJHCS, 53(3):351–375, 2000.

4. S. Colton and I Miguel. Constraint generation via automated theory formation. In Proceedings of CP-01, 2001.

5. S. Colton and G. Sutcliffe. Automatic Generation of Benchmark Problems for ATP Systems. In Proceedings of the 7th Symposium on AI and Mathematics, 2002.

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

1. Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry;Electronic Proceedings in Theoretical Computer Science;2024-01-22

2. What Can Large Language Models Do for Theorem Proving and Formal Methods?;Bridging the Gap Between AI and Reality;2023-12-14

3. Conjectures, Tests and Proofs: An Overview of Theory Exploration;Electronic Proceedings in Theoretical Computer Science;2021-09-06

4. Automated Conjecturing of Frobenius Numbers via Grammatical Evolution;Experimental Mathematics;2016-08-23

5. ACL2(ml): Machine-Learning for ACL2;Electronic Proceedings in Theoretical Computer Science;2014-06-04