Rank, term rank, and chromatic number
Discrete Mathematics
An inequality between the diameter and the inverse dual degree of a tree
Discrete Mathematics
Concept Formation via Proof Planning Failure
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
The Computational Support of Scientific Discovery
Machine Learning and Its Applications, Advanced Lectures
The Computer-Aided Discovery of Scientific Knowledge
DS '98 Proceedings of the First International Conference on Discovery Science
Making Conjectures about Maple Functions
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Using stable sets to bound the chromatic number
Information Processing Letters
Mathematical applications of inductive logic programming
Machine Learning
Computing the bipartite edge frustration of fullerene graphs
Discrete Applied Mathematics
Facet defining inequalities among graph invariants: The system GraPHedron
Discrete Applied Mathematics
Using Formal Concept Analysis in Mathematical Discovery
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Computational Discovery in Pure Mathematics
Computational Discovery of Scientific Knowledge
On a conjecture of the Randić index
Discrete Applied Mathematics
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
Principles of human-computer collaboration for knowledge discovery in science
Artificial Intelligence
Automated conjecture making in number theory using HR, Otter and Maple
Journal of Symbolic Computation
Scientific model-building as search in matrix spaces
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Randić index and the diameter of a graph
European Journal of Combinatorics
Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs
Artificial Intelligence
Managing automatically formed mathematical theories
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
A computational account of conceptual blending in basic mathematics
Cognitive Systems Research
Automated generation of conjectures on forbidden subgraph characterization
Discrete Applied Mathematics
Hi-index | 0.00 |