On the design of a Java computer algebra system

ACM International Conference Proceeding Series

Volumn 178, Issue , 2006, Pages 143-152

  Kredel, Heinz ^a  

^a UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

Computer algebra library; Multivariate polynomials

Indexed keywords

ALGEBRA; COMPUTER SYSTEMS; DIGITAL LIBRARIES; PARALLEL ALGORITHMS; USER INTERFACES;

COMPUTER ALGEBRA LIBRARY; CONCURRENT PROGRAMMING; GROEBNER BASE ALGORITHMS; MULTIVARIATE POLYNOMIAL INTERFACES;

JAVA PROGRAMMING LANGUAGE;

EID: 34547266348     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1168054.1168075     Document Type: Conference Paper

References (22)

1. M. Y. Becker. Symbolic Integration in Java. PhD thesis, Trinity College, University of Cambridge, 2001.
2. T. Becker and V. Weispfenning. Gröbner Bases - A Computational Approach to Commutative Algebra. Springer, Graduate Texts in Mathematics, 1993.
3. L. Bernardin, B. Char, and E. Kaltofen. Symbolic computation in Java: an appraisement. In S. Dooley, editor, Proc. ISSAC 1999, pages 237-244. ACM Press, 1999.
4. it - a strongly-typed embeddable computer algebra library. In J. Calmet and C. Limongelli, editors, Proc. DISCO 1996, volume 1128 of Lecture Notes in Computer Science, pages 22-33. Springer, 1996.
5. J. Buchmann and T. Pfahler. LiDIA, pages 403-408. in Computer Algebra Handbook, Springer, 2003.
6. M. Conrad. The Java class package com.perisic.ring. Technical report, http://ring.perisic.com/, 2002-2004.
7. D. Cox, J. Little, and D. O'Shea. Ideals. Varieties and Algorithms. Springer, Undergraduate Texts in Mathematics, 1992.
8. J. Grabmaier, E. Kaltofen, and V. Weispfenning, editors. Computer Algebra Handbook. Springer, 2003.
9. G.-M. Greuel, G. Pfister, and H. Schönemann. Singular - A Computer Algebra System for Polynomial Computations, pages 445-450. in Computer Algebra Handbook, Springer, 2003.
10. R. Jenks and R. Sutor, editors, axiom The Scientific Computation System. Springer, 1992.
11. H. Kredel. A systems perspective on A3L. In Proc. A3L: Algorithmic Algebra and Logic 2005, pages 141-146. University of Passau, April 2005.
12. H. Kredel. The Java algebra system. Technical report, http://krum.rz.uni-mannheim.de/jas/, since 2000.
13. H. Kredel and M. Pesch. MAS: The Modula-2 Algebra System, pages 421-428. in Computer Algebra Handbook, Springer, 2003.
14. H. Kredel and A. Yoshida. Thread- und Netzwerk-Programmierung mit Java. dpunkt, 2nd edition, 2002.
15. V. Niculescu. A design proposal for an object oriented algebraic library. Technical report, Studia Universitatis "Babes-Bolyai", 2003.
16. V. Niculescu. OOLACA: an object oriented library for abstract and computational algebra. In J. M. Vlissides and D. C. Schmidt, editors, OOPSLA Companion, pages 160-161. ACM, 2004.
17. A. Platzer. The Orbital library. Technical report, University of Karlsruhe, http://www.functologic.com/, 2005.
18. E. Poll and S. Thomson. The type system of Aldor. Technical report, Computing Science Institute Nijmegen, 1999.
19. P. S. Santas. A type system for computer algebra. J. Symb. Comput, 19(1-3):79-109, 1995.
20. S. Watt. Aldor, pages 265-270. in Computer Algebra Handbook, Springer, 2003.
21. C. Whelan, A. Duffy, A. Burnett, and T. Dowling. A Java, API for polynomial arithmetic. In PPPJ '03: Proceedings of the 2nd international conference on Principles and practice of programming in Java, pages 139-144, New York, NY, USA, 2003. Computer Science Press, Inc.
22. R. Zippel. Weyl computer algebra substrate. In Proc. DISCO '99, pages 303-318. Springer-Verlag Lecture Notes in Computer Science 722, 2001.