Design and Protocol for Internet Accessible Mathematical Computation

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn 1999-January, Issue , 1999, Pages 291-298

  Wang, Paul S ^a  

^a KENT STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMMING INTERFACES (API); DISTRIBUTED COMPUTER SYSTEMS; INTERNET PROTOCOLS;

COMPUTATION PROTOCOLS; COMPUTATION SYSTEMS; COMPUTING POWER; FEASIBILITY STUDIES; JAVA IMPLEMENTATION; MATHEMATICAL COMPUTATION; MATHEMATICAL COMPUTING; SERVER INTERFACES;

NETWORK ARCHITECTURE;

EID: 0002989273     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/309831.309961     Document Type: Conference Paper

References (14)

1. ABBOTT, J., DIAZ, A., AND SUTOR, R. S. A Report on OpenMath. ACM SIGSAM Bulletin (Mar. 1996), 21-24.
2. BORENSTEIN, N., AND FREED, N. MIME: Mechanisms for Specifying and Describing the Format of Internet Message Bodies. The Network Working Group RFC-1521, Sept. 1993.
3. DALMAS, S., GAËTANO, M., AND WATT, S. An OpenMath 1.0 Implementation. In Proc. ISSAC'97 (1997), ACM Press, pp. 214 248.
4. DOLEH, Y. The Design and Implementation of a, System. Independent User Interface for an Integrated Scientific Computing Environment. PhD thesis, Dept. Math. and CS, Kent State Univ., May 1995.
5. DOLEH, Y., AND WANG, P. S. SUI: A System Independent User Interface for an Integrated Scientific Computing Environment. In Proc. ISSAC'90 (Aug. 1990), Addison-Wesley (ISBN 0-201-54892-5), pp. 88 95.
6. DOOLEY, S. S. Coordinating Mathematical Content and Presentation Markup in Interactive Mathematical Documents. In Proc. International Symposium, on Symbolic and Algebraic Computation (ISSAC'98) (Aug. 1998).
7. FATEMAN, R. J. Network Servers for Symbolic Mathematics. In Proc. ISSAC'97 (1997), ACM Press, pp. 249-250.
8. FIELDING, R., GETTYS, J., MOGUL, J., FRYSTYK, H., AND BERNERS-LEE, T. Hypertext Trnsfer Protocol - HTTP/1.1, Jan. 1997.
9. GRAY, S., KAJLER, N., AND WANG, P. MP: A Protocol for Efficient Exchange of Mathematical Expressions. In Proc. ISSAC'94 (1994), ACM Press, pp. 330-335.
10. GRAY, S., KAJLER, N., AND WANG, P. S. Design and Implementation of MP, a Protocol for Efficient Exchange of Mathematical Expressions. J. of Symbolic Comp. 25 (Feb. 1998), 213-238.
11. ION, P., MINER, R., BUSWELL, S., S. DEVITT, A. D., POPPELIER, N., SMITH, B., SOLFFER, N., SUTOR, R., AND WATT, S. Mathematical Markup Language (MathML) 1.0 Specification. (www.w3.org/TR/1998/REC-MathML-19980407), Apr. 1998.
12. KAJLER, N., AND SOIFFER, N. A Survey of User Interfaces for Computer Algebra Systems. J. of Symbolic Comp. 25, 2 (Feb. 1998), 127-160.
13. WANG, P. S. Internet Accessible Mathematical Computation. In Proc. 3rd Asian Symposium on Computer Mathematics (ASCM'98) (Aug. 1998), pp. 1-13.
14. WU, W. Experiments with Internet Accessible Mathematical Computation. Master's thesis, Dept. of Math. and CS, Kent State Univ., May 1998. ICM/Kent State University technical report. ICM-199805-0003.