OpenMath language extensions

Kohlhase M (2014)


Publication Status: Published

Publication Type: Conference contribution, Conference Contribution

Publication year: 2014

Publisher: CEUR-WS

Book Volume: 1186

URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-84924873356&origin=inward

Authors with CRIS profile

How to cite

APA:

Kohlhase, M. (2014). OpenMath language extensions. In Proceedings of the Joint of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014. CEUR-WS.

MLA:

Kohlhase, Michael. "OpenMath language extensions." Proceedings of the Joint of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014 CEUR-WS, 2014.

BibTeX: Download