On a Java computer algebra system, its performance and applications
2007; Elsevier BV; Volume: 70; Issue: 2-3 Linguagem: Inglês
10.1016/j.scico.2007.07.010
ISSN1872-7964
Autores Tópico(s)Formal Methods in Verification
ResumoThis 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.
Referência(s)