Title of article
Computers and discovery in algebraic graph theory Original Research Article
Author/Authors
Pierre Hansen، نويسنده , , Hadrien Mélot، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
20
From page
211
To page
230
Abstract
On passe en revue les systèmes informatiques qui aident à obtenir et parfois donnent automatiquement des conjectures et réfutations en théorie algébrique des graphes.We survey computers systems which help to obtain and sometimes provide automatically conjectures and refutations in algebraic graph theory.
Keywords
Conjecture , Discovery , graph , computer , Proof , Refutation
Journal title
Linear Algebra and its Applications
Serial Year
2002
Journal title
Linear Algebra and its Applications
Record number
823700
Link To Document