Author:
Caprotti Olga,Cohen Arjeh M.
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. John A. Abbott, André van Leeuwen, and A. Strotmann. OpenMath: Communicating Mathematical Information between Co-operating Agents in a Knowledge Network. Journal of Intelligent Systems, 1998. Special Issue: “Improving the Design of Intelligent Systems: Outstanding Problems and Some Methods for their Solution.”.
2. A. M. Cohen, H. Cuypers, and H. Sterk. Algebra Interactive, interactive course material. Number ISBN 3-540-65368-6. SV, 1999.
3. S. Dalmas, M. Gaëtano, and S. Watt. An OpenMath 1.0 Implementation. pages 241–248. ACM Press, 1997.
4. Z. Luo and R. Pollack. LEGO Proof Development System: User’s Manual. Department of Compter Science, University of Edinburgh, 1992.
5. PolyMath OpenMath Development Team. Java openmath library, version 0.5. Available at http://pdg.cecm.sfu.ca/openmath/lib/ , July 1998.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献