Unifying math ontologies: A tale of two standards
Davenport J, Kohlhase M (2009)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2009
Pages Range: 263-278
Event location: Grand Bend, ON
ISBN: 9783642026133
DOI: 10.1007/978-3-642-02614-0_23
Authors with CRIS profile
Involved external institutions
United Kingdom (GB)How to cite
APA:
Davenport, J., & Kohlhase, M. (2009). Unifying math ontologies: A tale of two standards. In Proceedings of the 16th Symp. on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2009 and 8th Int. Conf. on Mathematical Knowledge Management, MKM 2009. Held as part of the Confs. on Intelligent Computer Mathematics, CICM 2009 (pp. 263-278). Grand Bend, ON.
MLA:
Davenport, James, and Michael Kohlhase. "Unifying math ontologies: A tale of two standards." Proceedings of the 16th Symp. on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2009 and 8th Int. Conf. on Mathematical Knowledge Management, MKM 2009. Held as part of the Confs. on Intelligent Computer Mathematics, CICM 2009, Grand Bend, ON 2009. 263-278.
BibTeX: Download