Interactive Mathematical Documents on the Web-Reference-Cited by-同舟云学术

Interactive Mathematical Documents on the Web

Published:2003 Issue: Volume: Page:289-307
ISSN:
Container-title:Algebra, Geometry and Software Systems
language:
Short-container-title:

Author:

Cohen Arjeh M.,Cuypers Hans,Barreiro Ernesto Reinaldo,Sterk Hans

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-05148-1_16

Reference35 articles.

1. Amaya, W3C’s Editor/Browser, www.w3.org /Amaya.

2. Axiom interface to OpenMath. OpenMath ESPRIT Deliverable, 2000, www.nag.co.uk /projects/OpenMath/final/nodel0.htm.

3. A. E. Brouwer. Coding theory server, for bounds on the minimum distance of q-wry linear codes, q = 2, 3, 4, 5, 7, 8, 9, http://www.win.tue.nl /~aeb/ voorlincod.html.

4. O. Caprotti, A. M. Cohen, and M. Riem. Java Phrasebooks for Computer Algebra and Automated Deduction. SIGSAM Bulletin, 2000. Special Issue on Open-Math.

5. O. Caprotti and A.M. Cohen. Connecting proof checkers and computer algebra using OpenMath, pp. 109-112 in The 12th International Conference on Theorem Proving in Higher Order Logics (Y. Bertot, G. Dowek, A. Hirschowitz, C. Paulin, L. Théry eds.) Nice, France, September 1999. Springer Lecture Notes in Computer Science, vol. 1690.

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

1. Interleaving Strategies;Lecture Notes in Computer Science;2011

2. Specifying Rewrite Strategies for Interactive Exercises;Mathematics in Computer Science;2010-03-10

3. Adapting Mathematical Domain Reasoners;Lecture Notes in Computer Science;2010

4. Canonical Forms in Interactive Exercise Assistants;Lecture Notes in Computer Science;2009

5. Bibliography;Communicating Mathematics in the Digital Era;2008-10-31