A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf
.
Organization, Transformation, and Propagation of Mathematical Knowledge in Ωmega
2008
Mathematics in Computer Science
Mathematical assistance systems and proof assistance systems in general have traditionally been developed as large, monolithic systems which are often hard to maintain and extend. In this article we propose a component network architecture as a means to design and implement such systems. Under this view a mathematical assistance system is an integrated knowledge-based system composed as a network of individual, specialized components. These components manipulate and mutually exchange different
doi:10.1007/s11786-008-0054-6
fatcat:qoxkghx6c5epfjjaw5oykgfjjy