G-2002-12
Computers in Graph Theory
BibTeX reference
A survey is made of computer systems which help to obtain and sometimes provide automatically proofs, conjectures and refutations in graph theory.
Published February 2002 , 26 pages
A survey is made of computer systems which help to obtain and sometimes provide automatically proofs, conjectures and refutations in graph theory.
Published February 2002 , 26 pages