Making Conjectures about Maple Functions
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
Computational Discovery in Pure Mathematics
Computational Discovery of Scientific Knowledge
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
Automatic invention of fitness functions with application to scene generation
Evo'08 Proceedings of the 2008 conference on Applications of evolutionary computing
Predicting numbers: an AI approach to solving number series
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Hi-index | 0.00 |