Making Conjectures about Maple Functions
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Employing Theory Formation to Guide Proof Planning
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Mathematical applications of inductive logic programming
Machine Learning
The TM System for Repairing Non-Theorems
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated conjecture making in number theory using HR, Otter and Maple
Journal of Symbolic Computation
Managing automatically formed mathematical theories
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Hi-index | 0.00 |