A Standard for Aligning Mathematical Concepts.

Cezary Kaliszyk, Michael Kohlhase, Dennis Mller, Florian Rabe

Browse the full CIKM paper archive.