The freedom to extend OpenMath and its utility

DOI10.1007/s11786-008-0059-1zbMath1173.00301OpenAlexW1967459640WikidataQ59590616 ScholiaQ59590616MaRDI QIDQ841695

Paul Libbrecht, James H. Davenport

Publication date: 18 September 2009

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: http://opus.bath.ac.uk/468/1/Utility%2Dfull.pdf

zbMATH Keywords

semanticsworld wide webnotationmultilinguality

Mathematics Subject Classification ID

Knowledge representation (68T30) Information storage and retrieval of data (68P20) Distributed systems (68M14) Computing methodologies for text processing; mathematical typography (68U15) Formularies (00A22)

Related Items

A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy, AISC Meets Natural Typography, Unit Knowledge Management