The freedom to extend OpenMath and its utility
DOI10.1007/S11786-008-0059-1zbMATH Open1173.00301OpenAlexW1967459640WikidataQ59590616 ScholiaQ59590616MaRDI QIDQ841695FDOQ841695
Authors: James H. Davenport, Paul Libbrecht 
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
Recommendations
- On the role of OpenMath in interactive mathematical documents
- scientific article; zbMATH DE number 1253990
- OpenMath
- On the road to a comprehensive open digital mathematics library
- Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
- Freedom in mathematics
- Open source computer algebra systems: Axiom
- Current challenges in developing open source computer algebra systems
Information storage and retrieval of data (68P20) Knowledge representation (68T30) Distributed systems (68M14) Computing methodologies for text processing; mathematical typography (68U15) Formularies (00A22)
Cited In (8)
- OpenMath Content Dictionaries for SI Quantities and Units
- An OpenMath content dictionary for tensor concepts
- A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
- Unit Knowledge Management
- Unifying Math Ontologies: A Tale of Two Standards
- Semantics of \textsc{OpenMath} and \textsc{MathML3}
- AISC Meets Natural Typography
- OpenMath
This page was built for publication: The freedom to extend OpenMath and its utility
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q841695)
