An Overview of a Formal Framework for Managing Mathematics

William M. Farmer, Martin von Mohrenschildt. An Overview of a Formal Framework for Managing Mathematics. Annals of Mathematics and Artificial Intelligence, 38(1-3):165-191, 2003.

Abstract

Abstract is missing.