Minion: An environment to organize mathematical problem solving

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

Volumn Part F130182, Issue , 1989, Pages 147-154

  Purtilo, James M ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976685336     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/74540.74559     Document Type: Conference Paper

References (11)

1. NeWS 1.1 Manual. Sun Microsystems, 1987.
2. DeRemer, F. and H. Kron. Programming-in-the-Large Versus Programming-in-the-Small. IEEE Transactions on Software Engineering, Vol. 2, no. 2, (June 1976), pp. 80-86.
3. Leong, B. Iris: design of a user interface program for symbolic algebra. Proceedings of 1986 Symposium on Symbolic and Algebraic Computation, (July 1986), pp. 1-6.
4. Mathlab Group. MACSYMA Reference Manual, MIT LCS, (1977).
5. Polya, G. How to solve it: A new aspect of mathematical method. Princeton University Press, (1945), second edition printed 1973.
6. Purtilo, J. Computing Runge-Kutta starters symbolically. University of Illinois Department of Computer Science UIUCDCS-R-83-1120, (1983).
7. Purtilo, J., D. Reed and D. Grunwald. Environments for prototyping parallel algorithms. Journal of Parallel and Distributed Computing, Vol. 5, (1988), pp. 421-437.
8. Purtilo, J. Polylith: an environment to support management of tool interfaces. Proceedings of ACM SIGPLAN Symposium on Language Issues in Programming Environments, (July 1985), pp. 12-18.
9. Purtilo, J. Applications of a software interconnection system in mathematical problem solving environments. Proceedings of 1986 Symposium on Symbolic and Algebraic Computation, (July 1986), pp. 16-23.
10. Purtilo, J. A software interconnection technology. UMCP Computer Science Department TR-S1S9, (1988).
11. Purtilo, J., and P. Jalote. An environment for prototyping distributed applications. To appear in Proceedings of the Ninth International Conference on Distributed Computing Systems, (June 1989).