Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset.

Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou

Browse the full AISC paper archive.