Man-machine theorem proving in graph theory
References (23)
- et al.
A man-machine theorem-proving system
Artificial Intelligence
(1974) Splitting and reduction heuristics in automatic theorem proving
Artificial Intelligence
(1971)Non-resolution theorem proving
Artificial Intelligence
(1977)Theorem proving with abstraction
Artificial Intelligence
(1981)- et al.
Graph equations for line graphs and total graphs
Discrete Math.
(1975) A project for using computers in further development of graph theory
- et al.
Discussing graph theory with a computer, I: Implementation of graph theoretic algorithms
Discussing graph theory with a computer, II: Theorems suggested by the computer
Publ. Inst. Math. (Beograd)
(1983)- et al.
Discussing graph theory with a computer, III: Man-machine theorem proving
Publ. Inst. Math. (Beograd)
(1984) Discussing graph theory with a computer, IV: Knowledge organisation and examples of theorem proving
Cited by (14)
Bounds and conjectures for the signless Laplacian index of graphs
2010, Linear Algebra and Its ApplicationsA survey of automated conjectures in spectral graph theory
2010, Linear Algebra and Its ApplicationsAutomated conjectures on upper bounds for the largest Laplacian eigenvalue of graphs
2006, Linear Algebra and Its ApplicationsVariable neighborhood search for extremal graphs. 5. Three ways to automate finding conjectures
2004, Discrete MathematicsComputers and discovery in algebraic graph theory
2002, Linear Algebra and Its ApplicationsPolyenes with maximum HOMO-LUMO gap
2001, Chemical Physics LettersCitation Excerpt :In the last two decades, several systems have been designed for computer-aided or automated discovery of conjectures in graph theory, and assistance in construction of proofs. Some of them have been applied already to chemistry, and amongst the most successful of these are GRAPH [5,6], which makes rapid computations of graph invariants, and updates them interactively, and Graffiti[7,8] which generates large numbers of simple relations between graph invariants, then eliminates those refuted by data-base examples or judged uninteresting against various criteria. AutoGraphiX [9] is a system based upon a different principle.
Copyright © 1988 Published by Elsevier B.V.