Premium
Tools for studying paths and cycles in digraphs
Author(s) -
Delorme C.,
Ordaz O.,
Quiroz D.
Publication year - 1998
Publication title -
networks
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.977
H-Index - 64
eISSN - 1097-0037
pISSN - 0028-3045
DOI - 10.1002/(sici)1097-0037(199803)31:2<125::aid-net7>3.0.co;2-j
Subject(s) - computer science , base (topology) , field (mathematics) , knowledge base , theoretical computer science , graph , agora , kernel (algebra) , process (computing) , artificial intelligence , mathematics , discrete mathematics , programming language , pure mathematics , mathematical analysis
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. Networks 31: 125–148, 1998