AXIOM: the scientific computation system
AXIOM: the scientific computation system
Gro¨bner bases: a computational approach to commutative algebra
Gro¨bner bases: a computational approach to commutative algebra
A type system for computer algebra
Journal of Symbolic Computation - Special issue on design and implementation of symbolic computation systems
Symbolic computation in Java: an appraisement
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
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 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
Unique factorization domains in the java computer algebra system
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
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.