An object-oriented approach to algebra system design
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Scratchpad's view of algebra II: A categorical view of factorization
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
AXIOM: the scientific computation system
AXIOM: the scientific computation system
Algorithms for computer algebra
Algorithms for computer algebra
Computer algebra and field theories
Selected papers from the 1996 or 1997 IMACS-ACA conference on Non-standard applications of computer algebra
Symbolic computation in Java: an appraisement
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Further evaluation of Java for symbolic computation
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
A Java framework for massively distributed symbolic computing
ACM SIGSAM Bulletin
Introduction to the GiNaC framework for symbolic computation within the C++ programming language
Journal of Symbolic Computation
Abstract Data Types in Computer Algebra
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Scratchpad's View of Algebra I: Basic Commutative Algebra
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
The Weyl Computer Algebra Substrate
DISCO '93 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
SigmaIT - A Strongly-Typed Embeddable Computer Algebra Library
DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
SUCHTHAT - Generic Programming Works
Selected Papers from the International Seminar on Generic Programming
Requirement Oriented Programming
Selected Papers from the International Seminar on Generic Programming
A Java API for polynomial arithmetic
PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
OOLACA: an object oriented library for abstract and computational algebra
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Performance Analysis of Generics in Scientific Computing
SYNASC '05 Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
On the design of a Java computer algebra system
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
On a Java computer algebra system, its performance and applications
Science of Computer Programming
Evaluation of a Java Computer Algebra System
Computer Mathematics
A Singular Introduction to Commutative Algebra
A Singular Introduction to Commutative Algebra
Distributed Hybrid Gröbner Bases Computation
CISIS '10 Proceedings of the 2010 International Conference on Complex, Intelligent and Software Intensive Systems
Algebraic structures as typed objects
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Hi-index | 0.00 |
Advances in computer science, in particular object oriented programming, and software engineering have had little practical impact on computer algebra systems in the last 30 years. The software design of existing systems is still dominated by ad-hoc memory management, weakly typed algorithm libraries and proprietary domain specific interactive expression interpreters. We discuss a modular approach to computer algebra software: usage of state-of-the-art memory management and run-time systems (e.g. JVM) usage of strongly typed, generic, object oriented programming languages (e.g. Java) and usage of general purpose, dynamic interactive expression interpreters (e.g. Python) To illustrate the workability of this approach, we have implemented and studied computer algebra systems in Java and Scala. In this paper we report on the current state of this work by presenting new examples.