Retour

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.

, 26 pages

Axes de recherche

Applications de recherche