On a Java computer algebra system, its performance and applications

Science of Computer Programming

Volumn 70, Issue 2-3, 2008, Pages 185-207

  Kredel, Heinz ^a  

^a UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

Computer algebra library; Multivariate polynomials

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; DIGITAL ARITHMETIC; MATRIX ALGEBRA; MULTIVARIABLE SYSTEMS; POLYNOMIALS;

COMPUTER ALGEBRA LIBRARIES; CONCURRENT PROGRAMMING FACILITIES; POLYNOMIAL ARITHMETIC;

JAVA PROGRAMMING LANGUAGE;

EID: 39049088095     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2007.07.010     Document Type: Article

References (43)

1. Abdali S.K., Cherry G.W., and Soiffer N. An object-oriented approach to algebra system design. In: Char B.W. (Ed). Proc. SYMSAC 1986 (1986), ACM Press 24-30
2. Apache Software Foundation. Commons-Math: The Jakarta mathematics library, Technical report (2003-2007~(accessed~18.05.07)). http://jakarta.apache.org/commons/
3. Baumgartner G., and Russo V.F. Signatures: A language extension for improving type abstraction and subtype polymorphism in C++. Software - Practice and Experience 25 8 (1995) 863-889
4. M.Y. Becker, Symbolic Integration in Java, Ph.D. Thesis, Trinity College, University of Cambridge, 2001
5. Becker T., and Weispfenning V. Gröbner Bases - A Computational Approach to Commutative Algebra. Graduate Texts in Mathematics (1993), Springer
6. Bernardin L., Char B., and Kaltofen E. Symbolic computation in java: An appraisement. In: Dooley S. (Ed). Proc. ISSAC 1999 (1999), ACM Press 237-244
7. Böge W., Gebauer R., and Kredel H. Some examples for solving systems of algebraic equations by calculating Groebner bases. J. Symbolic Comput. 2 1 (1986) 83-98
8. it - A strongly-typed embeddable computer algebra library, in: Calmet and Limongelli [10], pp. 22-33
9. Buchmann J., and Pfahler T. LiDIA. Computer Algebra Handbook (2003), Springer 403-408
10. In: Calmet J., and Limongelli C. (Eds). Design and Implementation of Symbolic Computation Systems DISCO'96. Lecture Notes in Computer Science vol. 1128 (1996), Springer
11. Collins G.E., and Loos R.G. ALDES and SAC-2 now available. ACM SIGSAM Bull. 12 2 (1982) 19
12. Conrad M. The Java class package com.perisic.ring, Technical report (2002-2004~(accessed~September~2006)). http://ring.perisic.com/
13. Cox D., Little J., and O'Shea D. Ideals, Varieties and Algorithms. Undergraduate Texts in Mathematics (1992), Springer
14. Dautelle J.-M. Jscience: Java tools and libraries for the advancement of science, Technical report (2005-2007~(accessed~May~2007)). http://www.jscience.org/
15. Dragan L., and Watt S. Performance Analysis of Generics in Scientific Computing. Proceedings of Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2005), IEEE Computer Society 90-100
16. Fateman R.J. Advances and Trends in the Design and Construction of Algebraic Manipulation Systems. Proc. ISSAC 1990 (1990), ACM Press 60-67
17. Fateman R.J. Draft: Comparing the speed of programs for sparse polynomial multiplication (2002~(accessed~05.05.07)). http://www.cs.berkeley.edu/~fateman/papers/fastmult.pdf
18. In: Grabmaier J., Kaltofen E., and Weispfenning V. (Eds). Computer Algebra Handbook (2003), Springer
19. Greuel G.-M., Pfister G., and Schönemann H. Singular - A Computer Algebra System for Polynomial Computations. Computer Algebra Handbook (2003), Springer 445-450
20. D. Gruntz, W. Weck, A Generic Computer Algebra Library in Oberon, Manuscript available via Citeseer, 1994
21. In: Jenks R., and Sutor R. (Eds). Axiom The Scientific Computation System (1992), Springer
22. Kredel H. A Systems Perspective on A3L. Proc. A3L: Algorithmic Algebra and Logic 2005 (2005), University of Passau 141-146
23. Kredel H. On the Design of a Java Computer Algebra System. In: Gitzel R., Aleksy M., Schader M., and Krintz C. (Eds). Proc. PPPJ 2006, ACM International Conference Proceedings Series (2006), Mannheim University Press 143-152
24. Kredel H. The Java algebra system, Technical report (since~2000~(accessed~May~2007)). http://krum.rz.uni-mannheim.de/jas/
25. Kredel H., and Pesch M. MAS: The Modula-2 Algebra System. Computer Algebra Handbook (2003), Springer 421-428
26. Kredel H., and Yoshida A. Thread- und Netzwerk- Programmierung mit Java 2nd edition (2002), dpunkt
27. Küchlin W. PARSAC-2: A parallel SAC-2 based on threads. In: Sakata S. (Ed). AAECC. Lecture Notes in Computer Science vol. 508 (1990), Springer 341-353
28. Meyer B. Genericity Versus Inheritance. OOPSLA (1986) 391-405
29. Musser D., Schupp S., and Loos R. Requirement oriented programming - concepts, implications and algorithms. Generic Programming '98: Proceedings of a Dagstuhl Seminar. Lecture Notes in Computer Science vol. 1766 (2000), Springer-Verlag 12-24
30. V. Niculescu, A design proposal for an object oriented algebraic library, Technical report, Studia Universitatis "Babes-Bolyai", 2003
31. V. Niculescu, OOLACA: an object oriented library for abstract and computational algebra, in: Vlissides and Schmidt [40], pp. 160-161
32. Platzer A. The Orbital library, Technical report, University of Karlsruhe (2005~(accessed~September~2006)). http://www.functologic.com/
33. E. Poll, S. Thomson, The type system of Aldor, Technical report, Computing Science Institute Nijmegen, 1999
34. Santas P.S. A type system for computer algebra. J. Symbolic Comput. 19 1-3 (1995) 79-109
35. Schreiner W., and Hong H. A new library for parallel algebraic computation. In: Sincovec R.F., et al. (Ed). Sixth SIAM Conference on Parallel Processing for Scientific Computing, vol. II. Norfolk, Virginia, 22-24 March (1993), SIAM 776-783
36. Schupp S., and Loos R. SuchThat - generic programming works. Generic Programming '98: Proceedings of a Dagstuhl Seminar. Lecture Notes in Computer Science vol. 1766 (2000), Springer-Verlag 133-145
37. R. Stansifer, G. Baumgartner, A Proposal to Study Type Systems for Computer Algebra, Technical Report 90-07, Johannes Kepler University, Linz, Austria, 1990
38. Sun Microsystems, Inc., The Java development kit, Technical report (1994-2007~(accessed~May~2007)). http://java.sun.com/
39. Sun Microsystems, Inc., Improvements to program execution speed (2004~(accessed~10.05.07)). http://java.sun.com/j2se/1.5.0/docs/guide/performance/speed.html
40. In: Vlissides J.M., and Schmidt D.C. (Eds). Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (2004), ACM
41. Watt S. Aldor. Computer Algebra Handbook (2003), Springer 265-270
42. Whelan C., Duffy A., Burnett A., and Dowling T. A Java API for Polynomial Arithmetic. PPPJ'03: Proceedings of the 2nd International Conference on Principles and Practice of Programming in Java, New York, NY, USA (2003), Computer Science Press, Inc. 139-144
43. Zippel R. Weyl computer algebra substrate. Proc. DISCO'93. Springer-Verlag Lecture Notes in Computer Science vol. 722 (2001) 303-318