Tools for studying paths and cycles in digraphs
Abstract:
The main goal of this work was to describe the basic elements constituting a specialized knowledge base in the field of paths and circuits in digraphs. This knowledge base contains commented on examples with textual and graphical descriptions, invariants, relations among invariants, and theorems. It used as a "kernel" of the AGORA interactive system, for assisting a graph researcher in the mental process of constructing and studying conjectures in the mentioned specialized field. © 1998 John Wiley & Sons, Inc.
Año de publicación:
1998
Keywords:
Fuente:
scopus
google
Tipo de documento:
Article
Estado:
Acceso restringido
Áreas de conocimiento:
- Teoría de grafos
- Ciencias de la computación
Áreas temáticas:
- Ciencias de la computación