Tools for studying paths and cycles in digraphs

被引:0
|
作者
Delorme, C
Ordaz, O
Quiroz, D
机构
[1] Cent Univ Venezuela, Fac Ciencias, Ctr Ingn Software & Syst ISYS, Caracas, Venezuela
[2] Univ Paris Sud, LRI, F-91405 Orsay, France
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
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. (C) 1998 John Wiley & Sons, Inc.
引用
收藏
页码:125 / 148
页数:24
相关论文
共 50 条