An architecture for distributed mathematical web services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3119, Issue , 2004, Pages 363-377

  Smirnova, Elena S ^a   So, Clare M ^a   Watt, Stephen M ^a  

^a UNIVERSITY OF WESTERN ONTARIO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE MANAGEMENT; NETWORK PROTOCOLS; PROBLEM SOLVING; WEBSITES;

DESIGN AND IMPLEMENTATIONS; END-FUNCTIONALITY; MATHEMATICA; MATHEMATICAL COMPUTATION; MATHEMATICAL WEB SERVICES; NETWORK SERVICES; PROBLEM SOLVING ENVIRONMENTS;

WEB SERVICES;

EID: 35048835300     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27818-4_26     Document Type: Article

References (25)

1. S. Buswell, O. Caprotti, and M. Dewar, MONET Architecture Overview, Deliverable 4, The MONET Consortium, 2002.
2. Y. Chicha, J. Davenport, and D. Roberts, Mathematical Explanation Ontology, Deliverable 7, The MONET Consortium, 2004.
3. O. Caprotti, D. Carlisle, A.M. Cohen, and M. Dewar, Mathematical Problem Description Ontology, Deliverable 11, The MONET Consortium, 2003.
4. S. Buswell, O. Caprotti, and M. Dewar, Mathematical Service Description Language , Deliverable 14, The MONET Consortium, 2003.
5. W. Barbera-Medina, S. Buswell, Y. Chicha, M. Gaetano, J. Padget, M. Riem, and D. Turi, Broker API, Deliverable 18, The MONET Consortium, 2003.
6. W3C, Simple Object Access Protocol (SOAP) 1.1, http://www.w3.org/TR/SOAP, 2003-2004.
7. W3C, Web Services Description Language (WSDL) 1.1, http://www.w3.org/TR/ wsdl.html.
8. W3C, Web Service Deployment Descriptor (WSDD) 1.1, developer.apple.com/ documentation/WebObjects/Web_Services/Web_Services/chapter_4_section_ 7.html.
9. OpenMath, http://www.openmath.org/cocoon/openmath, 1999-2004.
10. An OpenMath v1.0 Implementation, S. Dalmas, M. Gaetano and S. M. Watt, Proc International Symposium on Symbolic and Algebraic Computat̀ion (ISSAC 1997), pp. 217-224, ACM Press 1997.
11. Brokers and Web-Services for Automatic Deduction: a Case Study, C. Sacerdoti Coen and S. Zacchiroli, Proc. Calculemus 2003.
12. RIACA OpenMath Library, http://www.riaca.win.tue.nl/products/openmath/ lib/1.3/api, 2001-2004.
13. Document Object Model, http://www.w3.org/DOM/.
14. Java Standard Edition, Sun Microsystems Inc, http://java.sun.com, 1995-2004.
15. The Apache Software Foundation, http://httpd.apache.org, 19962-2004.
16. Apache Jakarta Project, Apache Software Foundation, http://Jakarta.apache, org/tomcat, 1999-2004.
17. Apache Axis, Apache Web Services Project, http://ws.apache.org/axis, 1999-2004.
18. Apache Ant, Apache Software Foundation, http://ant.apache.org, 2000-2004.
19. JavaServer Pages Technology, Sun Microsystems, Inc. http://java.sun.com/ products/jsp, 1999-2004.
20. Maple, Maplesoft, a division of Waterloo Maple Inc. 2004, http://www.maplesoft. com, 2004.
21. Mathematica, Wolfram Research, Inc., http://www.wolfram.com, 2004.
22. Axiom, Software Foundation, Inc., http://savannah.nongnu.org/projects/ axiom, 2000-2004.
23. Derive, LTSN Maths, Stats & OR Network, http://www.chartwellyorke.com/ derive.html, 2000-2004.
24. MatLab, The MathWorks, Inc., http://www.mathworks.com/products/matlab, 1994-2004.
25. The MBase Mathematical Knowledge Base, http://www.mathweb.org/mbase/.