Towards MKM in the large: Modular representation and scalable software architecture
M Kohlhase, F Rabe, V Zholudev - … , MKM 2010, Paris, France, July 5-10 …, 2010 - Springer
MKM has been defined as the quest for technologies to manage mathematical knowledge.
MKM “in the small” is well-studied, so the real problem is to scale up to large, highly …
MKM “in the small” is well-studied, so the real problem is to scale up to large, highly …