Efficient implementation of polynomial arithmetic in a multiple-level programming environment

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4151 LNCS, Issue , 2006, Pages 12-23

  Li, Xin ^a   Moreno Maza, Marc ^a  

^a UNIVERSITY OF WESTERN ONTARIO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTER ARCHITECTURE; DATA STRUCTURES; DIGITAL ARITHMETIC; LISP (PROGRAMMING LANGUAGE); POLYNOMIALS; VIRTUAL REALITY;

MACHINE ARITHMETICS; MULTIPLE LEVEL PROGRAMMING ENVIRONMENTS; POLYNOMIAL ARITHMETICS; POLYNOMIAL DATA;

MATHEMATICAL PROGRAMMING;

EID: 33750047190     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11832225_2     Document Type: Conference Paper

References (17)

1. The AXIOM developers web site, http://page.axiom-developer.org.
2. aldor.org. Aldor 1.0.2. University of Western Ontario, Canada, 2004. http://www.aldor.org.
3. The Computational Algebra Group in the School of Mathematics and Statistics at the University of Sydney. The MAGMA Computational Algebra System for Algebra, Number Theory and Geometry, http://magma.maths.usyd.edu.au/magma/.
4. X. Dahan, M. Moreno Maza, É. Schost, W. Wu, and Y. Xie. Lifting techniques for triangular decompositions. In ISSAC'05, pages 108-115. ACM Press, 2005.
5. David S. Dummit and Richard M. Foote. Abstract algebra. Simon and Schuster, 1993.
6. R. J. Fateman. Vector-based polynomial recursive representation arithmetic, http ://www.norvig.com/ltd/test/poly.dylan, 1999.
7. A. Filatei. Implementation of fast polynomial arithmetic in Aldor, 2006. University of Western Ontario.
8. A. Filatei, X. Li, M. Moreno Maza, and É Schost. Implementation techniques for fast polynomial arithmetic in a high-level programming environment. In Proc. ISSAC'06. ACM Press, 2006.
9. Free Software Foundation. GNU Multiple Precision Arithmetic Library, http://swox.com/gmp/.
10. J. von zur Gathen and J. Gerhard. Modern Computer Algebra. Cambridge University Press, 1999.
11. G.-M. Greuel, G. Pfister, and H. Schönemann. SINGULAR 3.0. A Computer Algebra System for Polynomial Computations, Centre for Computer Algebra, University of Kaiserslautern, 2005. http://www.singular.uni-kl.de.
12. M. van Hoeij and M. Monagan. A modular gc.d algorithm over number fields presented with multiple extensions. In Teo Mora, editor, Proc. ISSAC 2002, pages 109-116. ACM Press, July 2002.
13. R. D. Jenks and R. S. Sutor. AXIOM, The Scientific Computation System. Springer-Verlag, 1992. AXIOM is a trade mark of NAG Ltd, Oxford UK.
14. X. Li. Efficient management of symbolic computations with polynomials, 2005. University of Western Ontario.
15. V. Shoup. The Number Theory Library. http://www.shoup.net/ntl.
16. C.K. Yap. Fundamental Problems in Algorithmic Algebra. Princeton University Press, 1993.
17. Taiichi Yuasa, Masami Hagiya, and William F. Schelter. GNU Common Lisp. http://www.gnu.org/software/gcl.