MINION: an environment to organize mathematical problem solving
@inproceedings{Purtilo1989MINIONAE, title={MINION: an environment to organize mathematical problem solving}, author={James M. Purtilo}, booktitle={International Symposium on Symbolic and Algebraic Computation}, year={1989} }
Existing computer algebra systems relieve us of having to perform tedious mathematical computations manually, thus enabling us to gain insight on the abstract problems at hand. Often these systems suggest alternate solution techniques directly. However, existing systems do little to help us manage the interactive computing environment as the scale of the problem grows: when the number of mathematical objects being studied increases, the complexity for a user to manage those objects in his…
Figures from this paper
8 Citations
Building a Computer Algebra Environment by Composition of Collaborative Tools
- Computer ScienceDISCO
- 1992
The approach consists of building the environment by composition of separately developed packages, using state of the art software engineering technologies in the spirit of the tool integration paradigm, so that the different software components should be able to exchange data and freely cooperate with each other, without being too tightly coupled as in a monolithic system.
The POLYLITH software bus
- Computer ScienceTOPL
- 1994
A system called POLYLITH that helps programmers prepare and interconnect mixed-language software components for execution in heterogeneous environments so that once an application has been developed for use in one execution environment it can be adapted for reuse in other environments by automatic techniques.
On the Future of Problem Solving Environments
- Computer Science
- 2000
The computing context, the definition of a PSE, the principal components and paradigms for building PSEs are presented and projections for the future are made.
Dynamic Recon guration of Distributed Systems via Virtual Environment Warping
- Computer Science
- 1991
This project will provide complete training in formal software engineering methods to the graduate students involved and hold promise for improving both the productivity of engineers and the quality of products in American industry.
Architecture-Based Runtime Software Evolution Information and Computer Science
- Computer Science
- 1998
An architecture-based approach to runtime software evolution is presented and the role of software connectors in supporting runtime change is highlighted and an initial implementation of a tool suite for supporting the runtime modification of software architectures is presented.
Peyman Oreizy Nenad Medvidovic
- Computer Science
- 1998
An architecture-based approach to runtime software evolution is presented and the role of software connectors in supporting runtime change is highlighted and an initial implementation of a tool suite for supporting the runtime modification of software architectures is presented.
On the role of software architectures in runtime system reconfiguration
- Computer ScienceProceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159)
- 1998
An architecture-based approach to runtime software reconfiguration is presented, highlighting the role of architectural styles and software connectors in facilitating runtime change.
Architecture-based runtime software evolution
- Computer ScienceProceedings of the 20th International Conference on Software Engineering
- 1998
An architecture-based approach to runtime software evolution is presented and the role of software connectors in supporting runtime change is highlighted and an initial implementation of a tool suite for supporting the runtime modification of software architectures is presented.
References
SHOWING 1-8 OF 8 REFERENCES
How to Solve It. A New Aspect of Mathematical Method.
- Education
- 1945
In this best-selling classic, George Pólya revealed how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be “reasoned”out—from…
Polylith: An environment to support management of tool interfaces
- Computer ScienceSLIPE '85
- 1985
This paper presents an overview of the Polylith architecture, along with some brief remarks on the requirements analysis leading to Project polylith at the University of Illinois, and introduces one particular instance of an environment specified withinPolylith called Minion.
Iris: design of an user interface program for symbolic algebra
- Computer ScienceSYMSAC '86
- 1986
The design of a user interface program that can be used with Maple and other symbolic algebra packages and can shed the bulk of code not directly related to algebraic manipulations but can still use the facilities of a powerful user interface.
Environments for Prototyping Parallel Algorithms
- Computer ScienceJ. Parallel Distributed Comput.
- 1988
An environment for prototyping distributed applications
- Computer Science[1989] Proceedings. The 9th International Conference on Distributed Computing Systems
- 1989
An environment for prototyping distributed applications is described that supports different communication primitives with specified delays, and provides primitives to aid debugging and evaluation, and extends the type of work done by R. Hayes et al. (1988) by providingPrimitives to assist in profiling and instrumenting the applications.
Programming-in-the-Large Versus Programming-in-the-Small
- Computer ScienceIEEE Transactions on Software Engineering
- 1976
The activity of writing large programs is distinguished from that of writing small ones, which means systems consisting of many small programs (modules), usually written by different people.
Applications of a software interconnection system in mathematical problem solving environments
- Computer ScienceSYMSAC '86
- 1986
A software interconnection technology
- 1988