OpenMath Technology for Interactive Mathematical Documents-Reference-Cited by-同舟云学术

OpenMath Technology for Interactive Mathematical Documents

Published:2002 Issue: Volume: Page:51-65
ISSN:1612-3786
Container-title:Multimedia Tools for Communicating Mathematics
language:
Short-container-title:

Author:

Caprotti Olga,Cohen Arjeh M.,Cuypers Hans,Sterk Hans

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-56240-2_4

Reference19 articles.

1. Ron Ausbrooks, Stephen Buswell, Stphane Dalmas, Stan Devitt, Angel Diaz, Roger Hunter, Bruce Smith, Neil Soiffer, Robert Sutor, and Stephen Watt. Mathematical Markup Language (MathML) Version 2.0. W3C Working Draft 28 March 2000, March 2000. Available at http://www.w3.org/TR/REC-MathML2/ .

2. A. Capani, G. Niesi, and L. Robbiano. CoCoA, a system for doing Computations in Commutative Algebra, 1995. Available via anonymous ftp from http://www.cocoa.dima.unige.it .

3. O. Caprotti, A. M. Cohen, H. Cuypers, M. Riem, and H. Sterk. Using OpenMath Servers for Distributing Mathematical Computations. In 5th Asian Technology Conference in Mathematics, Chiang-Mai, Thailand, December 17–21, 2000.

4. O. Caprotti, A. M. Cohen, and M. Riem. JAVA Phrasebooks for Computer Algebra and Automated Deduction. SIGSAM Bulletin, 2000. Special Issue on OpenMath.

5. O. Caprotti and M. Oostdijk. How to formally and efficiently prove prime(2999). In Proceedings of Calculemus 2000: 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, St. Andrews, Scotland, August 2000.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Indexing Based on Topic Modeling and MATHML for Building Vietnamese Technical Document Retrieval Effectively;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2016

2. Interactive Mathematical Documents on the Web;Algebra, Geometry and Software Systems;2003