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