Cramer, Marcos; Koepke, Peter; Schröder, Bernhard:
Parsing and Disambiguation of Symbolic Mathematics in the Naproche System
In: Intelligent Computer Mathematics : Proceedings / Davenport, James H.; Farmer, William M.; Rabe, Florian; Urban, Josef (Eds.). - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 - Berlin: Springer, 2011 - (Lecture notes in computer science ; 6824) (Lecture notes in artificial intelligence ; 6824), pp. 180 - 195
2011book article/chapter in Proceedings
German Language and Literature StudiesFaculty of Humanities
Title in English:
Parsing and Disambiguation of Symbolic Mathematics in the Naproche System
Author:
Cramer, Marcos;Koepke, Peter;Schröder, BernhardUDE
LSF ID
48942
ORCID
0000-0002-7847-1393ORCID iD
Other
connected with university
DOI
10.1007/978-3-642-22673-1_13
Language of text:
English
Appears in
Intelligent Computer Mathematics : Proceedings
Conference
18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011
Editor:
Davenport, James H.;Farmer, William M.;Rabe, Florian;Urban, Josef
Place of publication:
Berlin
Publisher:
Springer
Year of publication:
2011
in:
pp. 180 - 195
ISBN
978-3-642-22672-4
ISBN
978-3-642-22673-1
In Series
Lecture notes in computer science
in:
Vol. 6824
In Series
Lecture notes in artificial intelligence
in:
Vol. 6824