Abstract
A survey is made of the AutoGraphiX (AGX) research programme for computer assisted and, for some functions, automated graph theory.
Original language | English |
---|---|
Pages (from-to) | 515-520 |
Number of pages | 6 |
Journal | Electronic Notes in Discrete Mathematics |
Volume | 22 |
DOIs | |
Publication status | Published - Oct 15 2005 |
Externally published | Yes |
Keywords
- AGX
- automated
- computer-assisted
- graph theory
ASJC Scopus subject areas
- Discrete Mathematics and Combinatorics
- Applied Mathematics