The DOI matches its Crossref record; 2 of the 3 references it cites were found in a registry or an index.
OpenMath and MathML: semantic markup for mathematics
Abstract
Unambiguous representation of mathematics is crucial for communications among humans or among computer systems. OpenMath is a standard aimed at supporting a semantically rich interchange of mathematics among varied computational software tools such as computer algebra systems, theorem provers, and tools for visualizing or editing mathematical text. MathML is a W3C Recommendation for the encoding of mathematics 'on the web' which also includes mechanisms for encoding mathematical semantics. We introduce each of these two languages and describe their relationships.
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
Citations
Cites
An OpenMath 1.0 implementation
Dalmas, S., Gaëtano, M., & Watt, S. M. (1997) · International Symposium on Symbolic and Algebraic Computation · doi:10.1145/258726.258794 · Cited by 41
Open Math: Communicating Mathematical Information Between Co-operating Agents in a Knowledge Network
Abbott, J., A. van Leuwen, & A. Strotman (1998) · Journal of Intelligent Systems · doi:10.1515/jisys.1998.8.3-4.401 · Cited by 16
Flagged first, then by citations
1 of the 3 references couldn’t be matched to a known paper.
Cited by
Sorted by citations
Theorema: Towards computer-aided mathematical theory exploration
Buchberger, B., Crăciun, A., Jebelean, T., Kovács, L., Kutsia, T., Nakagawa, K., Piroi, F., Popov, N., Robu, J., Rosenkranz, M., et al. (2005) · Journal of Applied Logic · doi:10.1016/j.jal.2005.10.006 · Cited by 127
Using the TPTP Language for Writing Derivations and Finite Interpretations
Sutcliffe, G., Schulz, S., Claessen, K., & Gelder, A. V. (2006) · Lecture notes in computer science · doi:10.1007/11814771_7 · Cited by 61
TSTP Data-Exchange Formats for Automated Theorem Proving Tools
Sutcliffe, G., Zimmer, J., & Schulz, S. (2004) · Cited by 59
Building performance evaluation using OpenMath and Linked Data
Hu, S., Corry, E., Horrigan, M., Hoare, C., Reis, M. D., & O’Donnell, J. (2018) · Energy and Buildings · doi:10.1016/j.enbuild.2018.07.007 · Cited by 26
Adapting modeling and simulation credibility standards to computational systems biology
Tatka, L. T., Smith, L. P., Hellerstein, J. L., & Sauro, H. M. (2023) · Journal of Translational Medicine · doi:10.1186/s12967-023-04290-5 · Cited by 27
A Math Query Language with an Expanded Set of Wildcards
Altamimi, M. E., & Youssef, A. S. (2008) · Mathematics in Computer Science · doi:10.1007/s11786-008-0056-4 · Cited by 16
Binary vector transformation of math formula for mathematical information retrieval
Pathak, A., Pakray, P., & Gelbukh, A. F. (2019) · Journal of Intelligent & Fuzzy Systems · doi:10.3233/jifs-179018 · Cited by 14
A More Canonical Form of Content MathML to Facilitate Math Search
Altamimi, M. E., & Youssef, A. S. (2007) · Cited by 13
OpenMath Technology for Interactive Mathematical Documents
Caprotti, O., Cohen, A. M., Cuypers, H., & Sterk, H. (2002) · Mathematics and visualization · doi:10.1007/978-3-642-56240-2_4 · Cited by 9
Self-citationTowards an Electronic Geometry Textbook
Chen, X., & Wang, D. (2007) · Springer eBooks · doi:10.1007/978-3-540-77356-6_1 · Cited by 8
IrisMath : A Blind-Friendly Web-Based Computer Algebra System
Zambrano, A., Pilacuán, D. I., Salvador, M. N., Grijalva, F., Garzón, N. O., & Mora, H. C. (2023) · IEEE Access · doi:10.1109/access.2023.3281761 · Cited by 7
An Environment for Building Mathematical Knowledge Libraries
Piroi, F., & Buchberger, B. (2004) · Cited by 6
Mathematical Information Retrieval: A Review
Dadure, P., Pakray, P., & Bandyopadhyay, S. (2024) · ACM Computing Surveys · doi:10.1145/3699953 · Cited by 6
A Bi-Directional Extensible Interface Between Lean and Mathematica
Lewis, R. Y., & Wu, M. (2022) · Journal of Automated Reasoning · doi:10.1007/s10817-021-09611-1 · Cited by 4
Communication Formalisms for Automated Theorem Proving Tools
Sutcliffe, G., Zimmer, J., & Schulz, S. (2003) · Cited by 4
A knowledge graph framework for digital twins of chemical processes
Zhang, S., Zhang, J., & Lapkin, A. A. (2026) · Nature Chemical Engineering · doi:10.1038/s44286-026-00392-1 · Cited by 8
Making Presentation Math Computable
Greiner-Petter, A. (2022) · Springer eBooks · doi:10.1007/978-3-658-40473-4 · Cited by 5
A search system for mathematical expressions on software binaries
Jain, R., Prathik, S., Vinayakarao, V., & Purandare, R. (2018) · International Conference on Mining Software Repositories (MSR) · doi:10.1145/3196398.3196413 · Cited by 3
A semantic framework for chemical process digitalisation using ontologies
Zhang, S., Tan, Y. R., Nguyen, C. M., Karan, D., Ganguly, S., Jose, N., Lim, M. Q., Guo, S., Jiang, L. L., Kraft, M., et al. (2026) · Chemical Engineering Journal · doi:10.1016/j.cej.2026.174361 · Cited by 3
Malik, A., Dadure, P., & Laskar, S. R. (2025) · Archives of Computational Methods in Engineering · doi:10.1007/s11831-025-10319-3 · Cited by 2
Publishing Mathematics on the Web
Cole, T. W. (2001) · Science & Technology Libraries · doi:10.1300/j122v20n02_04 · Cited by 2
Linking HOL Light to Mathematica using OpenMath
Seddiki, O. (2014) · Spectrum Research Repository (Concordia University) · Cited by 2
Towards Integration of Compositional Risk Analysis Using Monte Carlo Simulation and Security Testing
Viehmann, J. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-07076-6_8 · Cited by 1
Representation of Mathematical Knowledge in National Knowledge Infrastructure
Cao, C. (2006) · Journal of Software · doi:10.1360/jos171731 · Cited by 1
Mathematical knowledge representation for education semantic web based on learning style
Mahtar, I. F. M., & Zin, N. A. M. (2010) · International Symposium on Information Technology · doi:10.1109/itsim.2010.5561332 · Cited by 1
The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive Platform.
Grundmann, T., Gaillourdet, J.-M., Schmidt, K., Poetzsch‐Heffter, A., Deßloch, S., & Memmel, M. (2011) · Cited by 1
Towards Integration of Compositional Risk Analysis Using Monte Carlo Simulation and Security Testing
Viehmann, J. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-14114-5_8 · Cited by 1
Digital library on ordinary differential equations based on LibMeta
Tuchkova, N. P., Ataeva, O. M., RAS, C., Serebryakov, V. A., & RAS, C. (2017) · Scientific Conference "Scientific Services & Internet" · doi:10.20948/abrau-2017-65 · Cited by 1
WoM: An Open Interactive Platform for Describing, Exploring, and Sharing Mathematical Models
Gaillourdet, J.-M., Grundmann, T., Memmel, M., Schmidt, K., Poetzsch‐Heffter, A., & Deßloch, S. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-23866-6_14 · Cited by 1
Using OpenMath to present semantics of Geometric Algebra
Zhang, W., Yang, K.-P., Shrestha, R., Petry, F. E., & Zabom, S. (2010) · Southeastern Symposium on System Theory (SSST) · doi:10.1109/ssst.2010.5442809
MICE: An Efficient Grid Scheme for Mathematical Computing
Yang, Y., Liu, L., Li, L., Li, Z., & Zhou, R. (2006) · IEEE Asia-Pacific Services Computing Conference (APSCC) · doi:10.1109/apscc.2006.71
Semantic Representation of Mathematical Specications
Schodl, P. (2011)
Physics Markup Approaches Based on Geometric Algebra Representations
Yang, K.-P., Zhang, W., & Petry, F. E. (2012) · Informatica
Metadata
- Authors
- Caprotti, O., & Carlisle, D.
- Venue
- XRDS: Crossroads, The ACM Magazine for Students
- Published
- 1999-11
- Volume
- 6
- Issue
- 2
- Pages
- 11-14
- ISSN
- 1528-4972 (ISSN-L)
- 1528-4980
- OpenAlex
- W2049222190
- Cited by
- 34
- References
- 3
- Citations by year
- 2026: 2 · 2025: 1 · 2024: 2 · 2023: 2 · 2022: 2 · 2019: 1 · 2018: 2 · 2017: 1 · 2014: 3 · 2012: 1
- FWCI
- 0.95
- Type
- journal article
- Language
- en
- Open access
- closed
- Locations
- XRDS Crossroads The ACM Magazine for Students (publishedVersion)
- Topics
- Physical Sciences › Computer Science › Computational Theory and Mathematics › Mathematics, Computing, and Information Processing
- Physical Sciences › Mathematics › Modeling and Simulation › Mathematical and Computational Methods
- Physical Sciences › Computer Science › Software › Logic, programming, and type systems
- Keywords
- OpenMath, MathML, semantic markup, mathematical notation, computer algebra systems, theorem provers, denotational semantics
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
