Some examples for solving systems of algebraic equations by calculating groebner bases
Journal of Symbolic 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
Risa/Asir—a computer algebra system
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Gro¨bner bases: a computational approach to commutative algebra
Gro¨bner bases: a computational approach to commutative algebra
A course in computational algebraic number theory
A course in computational algebraic number theory
Symbolic computation in Java: an appraisement
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Comparison of polynomial-oriented computer algebra systems
ACM SIGSAM Bulletin
SigmaIT - A Strongly-Typed Embeddable Computer Algebra Library
DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Gröbner bases for polynomial ideals over commutative regular rings
EUROCAL '87 Proceedings of the European Conference on Computer Algebra
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
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
Java(TM) Programming Language, The (4th Edition)
Java(TM) Programming Language, The (4th Edition)
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
Statistically rigorous java performance evaluation
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems 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
Comprehensive Gröbner bases and regular rings
Journal of Symbolic Computation
Towards an electronic geometry textbook
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
Distributed Hybrid Gröbner Bases Computation
CISIS '10 Proceedings of the 2010 International Conference on Complex, Intelligent and Software Intensive Systems
An introduction to java geometry expert
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Hi-index | 0.00 |
This paper describes the implementation of recursive algorithms in unique factorization domains, namely multivariate polynomial greatest common divisors (gcd) and factorization into irreducible parts in the Java computer algebra library (JAS). The implementation of gcds, resultants and factorization is part of the essential building blocks for any computation in algebraic geometry, in particular in automated deduction in geometry. There are various implementations of these algorithms in procedural programming languages. Our aim is an implementation in a modern object oriented programming language with generic data types, as it is provided by Java programming language. We exemplify that the type design and implementation of JAS is suitable for the implementation of several greatest common divisor algorithms and factorization of multivariate polynomials. Due to the design we can employ this package in very general settings not commonly seen in other computer algebra systems. As for example, in the coefficient arithmetic for advanced Gröbner basis computations like in polynomial rings over rational function fields or (finite, commutative) regular rings. The new package provides factory methods for the selection of one of the several implementations for non experts. Further we introduce a parallel proxy for gcd implementations which runs different implementations concurrently.