An overview of a formal framework for managing mathematics (0)

by W M Farmer, M v Mohrenschildt
Venue:Annals of Mathematics and Artificial Intelligence, 2003. In the forthcoming special issue