Using algebraic specifications as a basis for formal MKM

Autoren Franz Lichtenberger
Titel Using algebraic specifications as a basis for formal MKM
Typ Technischer Bericht
Nummer SCCH-TR-0313
Ort Hagenberg, Austria
Institution SCCH
Jahr 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.