On the role of OpenMath in interactive mathematical documents
From MaRDI portal
Publication:5950932
DOI10.1006/jsco.2000.0466zbMath0981.68185MaRDI QIDQ5950932
Publication date: 2 January 2002
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jsco.2000.0466
Related Items
Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants, Formal and efficient primality proofs by use of computer algebra oracles, Dealing with algebraic expressions over a field in Coq using Maple
Uses Software
Cites Work