Towards MKM in the Large: Modular Representation and Scalable Software Architecture.

Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev

Browse the full AISC paper archive.