MBase Publications
Publications
-
MBase: Representing Knowledge and Context for the
Integration of Mathematical Software Systems,
Michael Kohlhase and
Andreas
Franke,
Journal of Symbolic Computation 23:4 (2001), pp. 365 - 402. -
System Description: MBase, an Open Mathematical Knowledge
Base,
Michael Kohlhase and
Andreas
Franke,
CADE-17 Proceedings, LNAI 1831, 2000, pp.455-459. -
Cooperation between the Mathematical Knowledge Base
MBase and the Theorem Prover Omega,
Andreas
Franke,
Markus Moschner
and Martin
Pollet,
Calculemus 2002 Position Papers, SEKI-Report SR-02-04, 2002, pp.68-70. - Towards Collaborative Content Management And Version Control For Structured Mathematical Knowledge Michael Kohlhase and Romeo Anghelache MKM 03