Michael Kohlhase, Andreas Franke. MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. Journal of Symbolic Computation, 32(4):365-402, 2001.
No references recorded for this publication.
No citations of this publication recorded.