Preprint
Realms: A Structure for Consolidating Knowledge about Mathematical Theories
Abstract
Since there are different ways of axiomatizing and developing a mathematical
theory, knowledge about a such a theory may reside in many places and in many
Authors
Carette J; Farmer WM; Kohlhase M
Publication date
May 22, 2014
DOI
10.48550/arxiv.1405.5956
Preprint server
arXiv