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.
机构:
UNIV PIERRE & MARIE CURIE,UER MATH 48,ER COMBINATOIRE,F-75005 PARIS,FRANCEUNIV PIERRE & MARIE CURIE,UER MATH 48,ER COMBINATOIRE,F-75005 PARIS,FRANCE
机构:
Shandong Univ, Sch Math & Syst Sci, Jinan 250100, Shandong, Peoples R China
Univ Paris 11, CNRS, Rech Informat Lab, UMR 8623, F-91405 Orsay, France
Ecole Cent Paris, Lab Math Appl Syst, F-92295 Chatenay Malabry, FranceShandong Univ, Sch Math & Syst Sci, Jinan 250100, Shandong, Peoples R China
Wang, Guanghui
Liu, Guizhen
论文数: 0引用数: 0
h-index: 0
机构:
Shandong Univ, Sch Math & Syst Sci, Jinan 250100, Shandong, Peoples R ChinaShandong Univ, Sch Math & Syst Sci, Jinan 250100, Shandong, Peoples R China