TOOLS FOR STUDYING PATHS AND CYCLES IN DIGRAPHS

The main goal of this work was to describe the basic elements constitu ting a specialized knowledge base in the field of paths and circuits i n digraphs. This knowledge base contains commented on examples with te xtual and graphical descriptions, invariants, relations among invarian ts, and theorems. It used as a ''kernel'' of the AGORA interactive sys tem, for assisting a graph researcher in the mental process of constru cting and studying conjectures in the mentioned specialized field. (C) 1998 John Wiley & Sons, Inc.