On the role of <i>OpenMath</i> in interactive mathematical documents Export

@article{citeulike:260030, abstract = {The standard OpenMath is an enabling technology for creating an integrated computer environment in which software packages for computer algebra and for proof checking can be combined. Here we demonstrate how OpenMath can be employed for generating interactive mathematical documents containing primality proofs. Our case study takes place within a browser; once a prime number is specified, a document appears summarizing the proof in a number of assertions. By clicking an assertion regarding the truth of an arithmetic equality, a computer algebra calculation is invoked verifying the equality. By clicking an assertion regarding a specific mathematical lemma called Pocklington's Criterion, a verification of the corresponding formal proof is carried out by a proof checker. Moreover, the whole document is structured in such a way that it can be easily translated to a formal proof object. OpenMath supports the interaction between the document as it appears in the browser and the mathematical software packages. This paper begins with an introduction to OpenMath and a brief comparison with MathML. 2001 Academic Press.}, address = {Duluth, MN, USA}, author = {Caprotti, O. and Cohen, A. M.}, citeulike-article-id = {260030}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=510839}, citeulike-linkout-1 = {http://dx.doi.org/10.1006/jsco.2000.0466}, doi = {10.1006/jsco.2000.0466}, issn = {0747-7171}, journal = {J. Symb. Comput.}, keywords = {algebra, collaboration, integration, interoperability, mathml, maths, openmath}, month = {October}, number = {4}, pages = {351--364}, posted-at = {2005-07-20 15:40:07}, priority = {3}, publisher = {Academic Press, Inc.}, title = {On the role of <i>OpenMath</i> in interactive mathematical documents}, url = {http://dx.doi.org/10.1006/jsco.2000.0466}, volume = {32}, year = {2001} }

TY - JOUR ID - citeulike:260030 L3 - citeulike-article-id:260030 N2 - The standard OpenMath is an enabling technology for creating an integrated computer environment in which software packages for computer algebra and for proof checking can be combined. Here we demonstrate how OpenMath can be employed for generating interactive mathematical documents containing primality proofs. Our case study takes place within a browser; once a prime number is specified, a document appears summarizing the proof in a number of assertions. By clicking an assertion regarding the truth of an arithmetic equality, a computer algebra calculation is invoked verifying the equality. By clicking an assertion regarding a specific mathematical lemma called Pocklington's Criterion, a verification of the corresponding formal proof is carried out by a proof checker. Moreover, the whole document is structured in such a way that it can be easily translated to a formal proof object. OpenMath supports the interaction between the document as it appears in the browser and the mathematical software packages. This paper begins with an introduction to OpenMath and a brief comparison with MathML. 2001 Academic Press. IS - 4 JF - J. Symb. Comput. SN - 0747-7171 AD - Duluth, MN, USA EP - 364 TI - On the role of <i>OpenMath</i> in interactive mathematical documents PB - Academic Press, Inc. VL - 32 SP - 351 KW - algebra KW - collaboration KW - integration KW - interoperability KW - mathml KW - maths KW - openmath AU - Caprotti, O AU - Cohen, AM PY - 2001/10// UR - http://dx.doi.org/10.1006/jsco.2000.0466 ER -