Author:
COLTON SIMON,BUNDY ALAN,WALSH TOBY
Subject
Hardware and Architecture,Human-Computer Interaction,General Engineering,Education,Human Factors and Ergonomics,Software
Reference39 articles.
1. Automatic theorem generation in plane geometry;BAGAI,1993
2. Finding new mathematical identities via numerical computations;BAILEY;ACM SIGNUM,1998
3. Genetic programming: biologically inspired computation that exhibits creativity in solving non-trivial problems;BENNETT,1999
4. Mechanical Theorem Proving;CHOU,1984
5. Refactorable numbers — a machine invention;COLTON;Journal of Integer Sequences,1999
Cited by
41 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. Showing Proofs, Assessing Difficulty with GeoGebra Discovery;Electronic Proceedings in Theoretical Computer Science;2024-01-22
3. Peano: learning formal mathematical reasoning;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-06-05
4. Spectacular: Finding Laws from 25 Trillion Terms;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04
5. New and Interesting Theorems;Electronic Proceedings in Theoretical Computer Science;2021-12-30