Using algebraic specifications as a basis for formal MKM

F. Lichtenberger. Using algebraic specifications as a basis for formal MKM. number SCCH-TR-0313, 2003.

Autoren
  • Franz Lichtenberger
TypTechnischer Bericht
NummerSCCH-TR-0313
Jahr2003
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.