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

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