Some examples for solving systems of algebraic equations by calculating groebner bases
Journal of Symbolic Computation
An object-oriented approach to algebra system design
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
AXIOM: the scientific computation system
AXIOM: the scientific computation system
A type system for computer algebra
Journal of Symbolic Computation - Special issue on design and implementation of symbolic computation systems
Signatures: a language extension for improving type abstraction and subtype polymorphism in C++
Software—Practice & Experience
Symbolic computation in Java: an appraisement
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
PARSAC-2: A Parallel SAC-2 Based on Threads
AAECC-8 Proceedings of the 8th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
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
Computer algebra handbook
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
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
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
Unique factorization domains in the java computer algebra system
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Algebraic structures as typed objects
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
| Hi-index | 0.00 |
This paper considers Java as an implementation language for a starting part of a computer algebra library. It describes a design of basic arithmetic and multivariate polynomial interfaces and classes which are then employed in advanced parallel and distributed Groebner base algorithms and applications. The library is type-safe due to its design with Java's generic type parameters and thread-safe using Java's concurrent programming facilities. We report on the performance of the polynomial arithmetic and on applications built upon the core library.