Using algebraic specifications as a basis for formal MKM
|Autoren|| Franz Lichtenberger|
|Titel||Using algebraic specifications as a basis for formal MKM|
In this talk we propose to use algebraic specification methods as a basis for formalizing mathematical knowledge. After some historical remarks about the use of algebraic methods in formal development of software systems, several features of these methods are presented that could serve mathematical knowledge management well.