Discrete Mathematics - First Japan Conference on Graph Theory and Applications
Journal of Automated Reasoning
The Maple V handbook
The automation of reasoning: an experimenter's notebook with OTTER tutorial
The automation of reasoning: an experimenter's notebook with OTTER tutorial
PSATO: a distributed propositional prover and its application to quasigroup problems
Journal of Symbolic Computation - Special issue on parallel symbolic computation
A survey of the Theorema project
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
The Mathematica book (4th edition)
The Mathematica book (4th edition)
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
On the notion of interestingness in automated mathematical discovery
International Journal of Human-Computer Studies - Special issue on Machine Discovery
Automated ’plugging and chugging‘ (poster session)
Symbolic computation and automated reasoning
Finding new mathematical identities via numerical computations
ACM SIGNUM Newsletter
MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Solution of the Robbins Problem
Journal of Automated Reasoning
The Automation of Proof: A Historical and Sociological Exploration
IEEE Annals of the History of Computing
Automatic Theorem Generation in Plane Geometry
ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
Automatic Invention of Integer Sequences
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Constraint Generation via Automated Theory Formation
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
The Computer-Aided Discovery of Scientific Knowledge
DS '98 Proceedings of the First International Conference on Discovery Science
The Use of Explicit Plans to Guide Inductive Proofs
Proceedings of the 9th International Conference on Automated Deduction
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
System Description: MCS: Model-based Conjecture Searching
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Workshop: The Role of Automated Deduction in Mathematics
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Il: an artificial intelligence approach to theory formation in mathematics
Il: an artificial intelligence approach to theory formation in mathematics
Empirical explorations of the logic theory machine: a case study in heuristic
IRE-AIEE-ACM '57 (Western) Papers presented at the February 26-28, 1957, western joint computer conference: Techniques for reliability
Finding relations in polynomial time
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Automatic concept formation in pure mathematics
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
On the discovery of mathematical theorems
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Theoretical analysis of Davis-Putnam procedure and propositional satisfiability
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Principles of human-computer collaboration for knowledge discovery in science
Artificial Intelligence
Eurisko: A program that learns new heuristics and domain concepts
Artificial Intelligence
| Hi-index | 0.00 |
We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated theorem provers, programs designed to generate examples, mathematical databases, and theory formation programs on the body of knowledge in pure mathematics. We discuss to what extent the output from certain programs can be considered a discovery in pure mathematics. This enables us to assess the state of the art with respect to Newell and Simon's prediction that a computer would discover and prove an important mathematical theorem.