G-2002-12
Computers in Graph Theory
référence BibTeX
A survey is made of computer systems which help to obtain and sometimes provide automatically proofs, conjectures and refutations in graph theory.
Paru en février 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.
Paru en février 2002 , 26 pages