Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
A Primer: 11 Keys to New Scratchpad
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
A language for computational algebra
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
A knowledge-based system for computer algebra
ACM SIGSAM Bulletin
A Smalltalk system for algebraic manipulation
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Advances and trends in the design and construction of algebraic manipulation systems
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
A rewrite-based type discipline for a subset of computer algebra
Journal of Symbolic Computation
Using pictorial and object oriented programming for computer algebra
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
A polymorphic functional language applied to symbolic computation
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
An object-oriented language for symbolic computation—applied to machine element analysis
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
ACM SIGSAM Bulletin
FOXBOX: a system for manipulating symbolic objects in black box representation
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Symbolic computation in Java: an appraisement
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Abstract Data Types in Computer Algebra
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Implementing signatures for C++
CTEC'94 Proceedings of the 6th conference on USENIX Sixth C++ Technical Conference - Volume 6
On a Java computer algebra system, its performance and applications
Science of Computer Programming
Evaluation of a Java Computer Algebra System
Computer Mathematics
Generic, type-safe and object oriented computer algebra software
CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
| Hi-index | 0.00 |
This paper describes a new computer algebra system design based on the object-oriented style of programming and an implementation of this design, called Views, written in Smalltalk-80. The design is similar in goals to other 'new' generation computer algebra systems, by allowing the runtime creation of computational domains and providing a way to view these domains as members of categories such as 'group', 'ring' or 'field'. However, Views introduces several unique features. The most notable is the strong distinction made between a domain and its view as a member of a particular category. This distinction between the implementation of a domain and its adherence to a set of algebraic laws allows a great degree of flexibility when choosing the algebraic structures that are to be active during a computation. It also allows for a richer variety of interrelationships among categories than exhibited in other systems.