Implementation techniques for fast polynomial arithmetic in a high-level programming environment

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn 2006, Issue , 2006, Pages 93-100

  Filatei, Akpodigha ^a   Li, Xin ^a   Maza, Marc Moreno ^a   Schost, Éric ^b  

^a UNIVERSITY OF WESTERN ONTARIO   (Canada)

^b ECOLE POLYTECHNIQUE   (France)

Author keywords

Aldor; Axiom; High performance; Polynomials

Indexed keywords

ALGEBRA; ALGORITHMS; CODES (SYMBOLS); COMPUTER PROGRAMMING; HIGH LEVEL LANGUAGES; THEOREM PROVING;

ALDOR; AXIOM; LOW LEVEL SPECIALIZED CODES;

POLYNOMIALS;

EID: 33748973914     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1145768.1145789     Document Type: Conference Paper

References (29)

1. A. V. Aho, J. E. Hopcroft, and J. D. Ullman, Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.
2. D. H. Bailey, K. Lee, and H. D. Simon, Using Strassen's algorithm to accelerate the solution of linear systems. The Journal of Supercomputing, 4(4):357-371, 1990.
3. R. P. Brent. Algorithms for matrix multiplication. Master's thesis, Stanford University, 1970. http://web.comlab.ox.ac.uk/oucl/work/richard.brent/.
4. R. P. Brent, F. G. Gustavson, and D. Y. Y. Yun. Fast solution of Toeplitz systems of equations and computations of Padé approximants. Journal of Algorithms, 1:259-295, 1980.
5. The Computational Algebra Group in the School of Mathematics and Statistics at the University of Sydney. The MAGMA Computational Algebra System. http://magma.maths.usyd.edu.au/magma/.
6. J. Cooley and J. Tukey. An algorithm for the machine calculation of complex Fourier series. Math. Comp., 19:297-301, 1965.
7. T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction to Algorithms. McGraw-Hill, 2002.
8. X. Dahan, M. Moreno Maza, É. Schost, and Y. Xie. On the complexity of the D5 principle. In TC'06, 2006.
9. J.-G. Dumas, T. Gautier, and C. Pernet. Finite field linear algebra subroutines. In ISSAC 02, pages 63-74. ACM, 2002.
10. R. J. Fateman. Vector-based polynomial recursive representation arithmetic. 1990. http://www.norvig.com/ltd/test/poly.dylan.
11. A. Filatei. Implementation of fast polynomial arithmetic in Aldor, 2006. University of Western Ontario.
12. J. von zur Gathen and J. Gerhard. Modern Computer Algebra. Cambridge University Press, 1999.
13. K. O. Geddes, S. R. Czapor, and G. Labahn. Algorithms for Computer Algebra. Kluwer Academic Publishers, 1992.
14. G. Hanrot, M. Quercia, and P. Zimmermann. The middle product algorithm, I. Appl, Algebra Engrg. Comm. Comput., 14(6):415-438, 2004.
15. J. van der Hoeven. The Truncated Fourier Transform and applications. In ISSAC 04, pages 290-296. ACM, 2004.
16. http://www.aldor.org. The Aldor compiler web site. The University of Western Ontario, 2002.
17. http://www.linalg.org/.LinBox. The LinBox group, 2005.
18. http://www.shoup.net/ntl. The Number Theory Library. V. Shoup, 1996-2006.
19. R. D. Jenks and R. S. Sutor. AXIOM the Scientific Computation System. Springer-Verlag, 1992.
20. J. R. Johnson, W. Krandick, and A. D. Ruslanov. Architecture-aware classical Taylor shift by 1. In ISSAC 05, pages 200-207. ACM, 2005.
21. A. Karatsuba and Yu. Ofman. Multiplication of multidigit numbers on automata. Sov. Phys. Dokl., (7):595-596, 1963.
22. D. E. Knuth. The Art of Computer Programming, volume 2. Addison Wesley, 1999.
23. X. Li. Efficient management of symbolic computations with polynomials, 2005. University of Western Ontario.
24. D. Lichtblau. Half-gcd and fast rational recovery. In ISSAC 05, pages 231-236. ACM, 2005.
25. R. T. Moenck. Practical fast polynomial multiplication. In SYMSAC 76, pages 136-148, ACM, 1976.
26. V. Shoup. A new polynomial factorization algorithm and its implementation. J. Symb. Comp., 20(4):363-397, 1995.
27. V. Strassen. Gaussian elimination is not optimal. Numerische Mathematik., 13:354-356, 1969.
28. S. M. Watt. The A# programming language and its compiler. Technical report, IBM Research, 1993.
29. C. K. Yap. Fundamental Problems in Algorithmic Algebra. Princeton University Press, 1993.