Using algebraic specifications as a basis for formal MKM

Autoren Franz Lichtenberger
TitelUsing algebraic specifications as a basis for formal MKM
TypTechnischer Bericht
NummerSCCH-TR-0313
OrtHagenberg, Austria
InstitutionSCCH
Jahr2003
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.