Using algebraic specifications as a basis for formal MKM

Authors Franz Lichtenberger
Title Using algebraic specifications as a basis for formal MKM
Type techreport
Number SCCH-TR-0313
Address Hagenberg, Austria
Institution SCCH
Year 2003
SCCH ID# 313
Abstract

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.