A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Theories play an important role in building mathematical knowledge repositories. Organizing knowledge in theories is an obvious approach to cope with the growing number of definitions, theorems, and proofs. However, they are also a matter of subject on their own: developing a new piece of mathematics often relies on extending or combining already developed theories in this way reusing definitions as well as theorems. We believe that this aspect of theory development is crucial for mathematicaldoi:10.1007/978-3-540-27818-4_10 fatcat:kkyspxwxqjfejmg6o5g34pyk4y