@BOOK{AbLo04, title = {M\'ethodes matricielles: introduction \`a la complexit\'e alg\'ebrique}, publisher = {Springer-Verlag}, year = {2004}, author = {Abdeljaoued, J. and Lombardi, H.}, volume = {42}, series = {Math\'ematiques \& Applications}, } @book {AM69, AUTHOR = {Atiyah, M. F. and Macdonald, I. G.}, TITLE = {Introduction to commutative algebra}, PUBLISHER = {Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont.}, YEAR = {1969}, PAGES = {ix+128}, MRCLASS = {13.00}, MRNUMBER = {0242802 (39 \#4129)}, MRREVIEWER = {J. A. Johnson}, } @article {ALM99, AUTHOR = {Aubry, P. and Lazard, D. and Moreno Maza, M.}, TITLE = {On the theories of triangular sets}, NOTE = {Polynomial elimination---algorithms and applications}, JOURNAL = {J. Symbolic Comput.}, FJOURNAL = {Journal of Symbolic Computation}, VOLUME = {28}, YEAR = {1999}, NUMBER = {1-2}, PAGES = {105--124}, ISSN = {0747-7171}, MRCLASS = {13P10}, MRNUMBER = {1709419 (2001a:13045)}, MRREVIEWER = {Alessandro Logar}, DOI = {10.1006/jsco.1999.0269}, } @ARTICLE{ASU75, author = {Aho, A. V. and Steiglitz, K. and Ullman, J. D.}, title = {Evaluating polynomials at fixed sets of points}, journal = {SIAM J. Comput.}, year = {1975}, volume = {4}, pages = {533--539}, number = {4}, fjournal = {SIAM Journal on Computing}, issn = {0097-5397}, mrclass = {68A10 (68A20)}, mrnumber = {0398151 (53 \#2006)}, mrreviewer = {Robert P. Daley} } @ARTICLE{ArVa94, author = {Arnaudi\`es, J.-M. and Valibouze, A.}, title = {Calculs de r\'esolvantes}, journal = {Rapport LITP 94.46}, year = {1994}, } @ARTICLE{ArVa97, author = {Arnaudi{\`e}s, J.-M. and Valibouze, A.}, title = {Lagrange resolvents}, journal = {J. Pure Appl. Algebra}, year = {1997}, volume = {117/118}, pages = {23--40}, coden = {JPAAA2}, fjournal = {Journal of Pure and Applied Algebra}, issn = {0022-4049}, mrclass = {12F10}, mrnumber = {1457831 (98f:12004)}, mrreviewer = {Martin Epkenhans}, } @ARTICLE{Aubry99onthe, author = {Aubry, P. and Lazard, D. and Moreno Maza, M.}, title = {On the Theories of Triangular Sets}, journal = {J. Symb. Comp}, year = {1999}, volume = {28}, pages = {105--124}, } @ARTICLE{AuVa12, author = {Aubry, P. and Valibouze, A.}, title = {Algebraic Computation of resolvents without extraneous powers}, journal = {European Journal of Combinatorics}, year = {2012}, note = {to appear} } @ARTICLE{AuVa00, author = {Aubry, P. and Valibouze, A.}, title = {Using {G}alois ideals for computing relative resolvents}, journal = {J. Symb. Comp.}, year = {2000}, volume = {30}, pages = {635--651}, number = {6} } @book {Ba00, AUTHOR = {Balser, W.}, TITLE = {Formal power series and linear systems of meromorphic ordinary differential equations}, SERIES = {Universitext}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, YEAR = {2000}, PAGES = {xviii+299}, ISBN = {0-387-98690-1}, MRCLASS = {34Mxx (34-02)}, MRNUMBER = {1722871 (2001f:34169)}, MRREVIEWER = {B. L. J. Braaksma}, } @article {BaSt83, AUTHOR = {Baur, W. and Strassen, V.}, TITLE = {The complexity of partial derivatives}, JOURNAL = {Theoret. Comput. Sci.}, FJOURNAL = {Theoretical Computer Science}, VOLUME = {22}, YEAR = {1983}, NUMBER = {3}, PAGES = {317--330}, ISSN = {0304-3975}, CODEN = {TCSDI}, MRCLASS = {68C25 (12-03 12F99)}, MRNUMBER = {693063 (84c:68027)}, DOI = {10.1016/0304-3975(83)90110-X}, } @article {BBP10, AUTHOR = {Barkatou, M. A. and Broughton, G. and Pfl{\"u}gel, E.}, TITLE = {A monomial-by-monomial method for computing regular solutions of systems of pseudo-linear equations}, JOURNAL = {Math. Comput. Sci.}, FJOURNAL = {Mathematics in Computer Science}, VOLUME = {4}, YEAR = {2010}, NUMBER = {2-3}, PAGES = {267--288}, ISSN = {1661-8270}, MRCLASS = {39A13 (39A06 39B52 68W30@article{Bergmann12, title = "The fast {F}ourier transform and fast wavelet transform for patterns on the torus", journal = "Applied and Computational Harmonic Analysis", year = "2012", note = "In Press", author = "R. Bergmann", })}, MRNUMBER = {2775993 (2012k:39006)}, MRREVIEWER = {Gian-Luigi Forti}, DOI = {10.1007/s11786-010-0056-z}, } @article {BP99, AUTHOR = {Barkatou, M. and Pfl{\"u}gel, E.}, TITLE = {An algorithm computing the regular formal solutions of a system of linear differential equations}, NOTE = {Differential algebra and differential equations}, JOURNAL = {J. Symbolic Comput.}, FJOURNAL = {Journal of Symbolic Computation}, VOLUME = {28}, YEAR = {1999}, NUMBER = {4-5}, PAGES = {569--587}, ISSN = {0747-7171}, MRCLASS = {34M25 (12H05 34-04 34A30)}, MRNUMBER = {1731938 (2002e:34148)}, MRREVIEWER = {L. M. Berkovich}, DOI = {10.1006/jsco.1999.0315}, } @article {BeLa94, AUTHOR = {Beckermann, B. and Labahn, G.}, TITLE = {A uniform approach for the fast computation of matrix-type {P}ad\'e approximants}, JOURNAL = {SIAM J. Matrix Anal. Appl.}, FJOURNAL = {SIAM Journal on Matrix Analysis and Applications}, VOLUME = {15}, YEAR = {1994}, NUMBER = {3}, PAGES = {804--823}, ISSN = {0895-4798}, CODEN = {SJMAEL}, MRCLASS = {65D15}, MRNUMBER = {1282696 (95f:65030)}, DOI = {10.1137/S0895479892230031}, } @article{Bergmann12, title = "The fast {F}ourier transform and fast wavelet transform for patterns on the torus", journal = "Applied and Computational Harmonic Analysis", year = "2012", note = "In Press", author = "R. Bergmann", } @article {BT80, AUTHOR = {Brent, R. P. and Traub, J. F.}, TITLE = {On the complexity of composition and generalized composition of power series}, JOURNAL = {SIAM J. Comput.}, FJOURNAL = {SIAM Journal on Computing}, VOLUME = {9}, YEAR = {1980}, NUMBER = {1}, PAGES = {54--66}, ISSN = {0097-5397}, CODEN = {SMJCAT}, MRCLASS = {68C20}, MRNUMBER = {557825 (81b:68042)}, DOI = {10.1137/0209004}, } @article {Berkowitz84, AUTHOR = {Berkowitz, S. J.}, TITLE = {On computing the determinant in small parallel time using a small number of processors}, JOURNAL = {Inform. Process. Lett.}, FJOURNAL = {Information Processing Letters}, VOLUME = {18}, YEAR = {1984}, NUMBER = {3}, PAGES = {147--150}, ISSN = {0020-0190}, CODEN = {IFPLAT}, MRCLASS = {65W05 (68Q15)}, MRNUMBER = {760366 (85k:65111)}, DOI = {10.1016/0020-0190(84)90018-8}, } @article {Ber98, AUTHOR = {Bernstein, D. J.}, TITLE = {Composing power series over a finite ring in essentially linear time}, JOURNAL = {J. Symbolic Comput.}, FJOURNAL = {Journal of Symbolic Computation}, VOLUME = {26}, YEAR = {1998}, NUMBER = {3}, PAGES = {339--341}, ISSN = {0747-7171}, MRCLASS = {13J05}, MRNUMBER = {1633872}, DOI = {10.1006/jsco.1998.0216}, } @InProceedings{BeLe12, author = {Berthomieu, J. and Lebreton, R.}, title = {Relaxed~{{$p$}-adic} {H}ensel lifting for algebraic systems}, booktitle = {Proceedings of ISSAC'12}, pages = {59-66}, publisher = {ACM Press}, year = {2012}, } @ARTICLE{BeHoLe11, author = {Berthomieu, J. and J. van der Hoeven and Lecerf, G.}, title = {Relaxed algorithms for~{{$p$}-adic} numbers}, journal = {J. Th\'eor. Nombres Bordeaux}, year = {2011}, volume = {23}, pages = {541--577}, number = {3}, fjournal = {Journal de Th\'eorie des Nombres de Bordeaux}, issn = {1246-7405}, mrclass = {68W30 (11Y40, 11Y16)}, } @unpublished{BLS14, author = {Berthomieu, J. and Lebreton, R. and Schost, \'E.}, title = {Relaxed algorithms for sparse and structured matrices}, note = {In preparation} } @article {BiAn80, AUTHOR = {Bitmead, R. R. and Anderson, B. D. O.}, TITLE = {Asymptotically fast solution of {T}oeplitz and related systems of linear equations}, JOURNAL = {Linear Algebra Appl.}, FJOURNAL = {Linear Algebra and its Applications}, VOLUME = {34}, YEAR = {1980}, PAGES = {103--116}, ISSN = {0024-3795}, CODEN = {LAAPAW}, MRCLASS = {65F05 (15A06)}, MRNUMBER = {591427 (81m:65044)}, MRREVIEWER = {M. Brannigan}, DOI = {10.1016/0024-3795(80)90161-5}, } @BOOK{BiPa1994, title = {Polynomial and matrix computations. {V}ol. 1}, publisher = {Birkh\"auser Boston Inc.}, year = {1994}, author = {Bini, D. and Pan, V.~Y.}, pages = {xvi+415}, address = {Boston, MA}, isbn = {0-8176-3786-9}, mrclass = {65-02 (65F30 65Y05)}, mrnumber = {1289412 (95k:65003)}, } @BOOK{BCSS98, title = {Complexity and real computation}, publisher = {Springer-Verlag}, year = {1998}, author = {Blum, L. and Cucker, F. and Shub, M. and Smale, S.}, pages = {xvi+453}, address = {New York}, note = {With a foreword by Richard M. Karp}, isbn = {0-387-98281-7}, mrclass = {68Q15 (03D15 13P99 14P99 65Y20 68-02)}, mrnumber = {1479636 (99a:68070)}, mrreviewer = {Klaus Meer} } @article {magma, AUTHOR = {Bosma, W. and Cannon, J. and Playoust, C.}, TITLE = {The {M}agma algebra system. {I}. {T}he user language}, NOTE = {Computational algebra and number theory (London, 1993)}, JOURNAL = {J. Symbolic Comput.}, FJOURNAL = {Journal of Symbolic Computation}, VOLUME = {24}, YEAR = {1997}, NUMBER = {3-4}, PAGES = {235--265}, ISSN = {0747-7171}, MRCLASS = {68Q40}, MRNUMBER = {1484478}, DOI = {10.1006/jsco.1996.0125}, } @PHDTHESIS{Bo03, author = {Bostan, A.}, title = {Algorithmique efficace pour des op\'erations de base en Calcul formel}, school = {\'Ecole Polytechnique}, year = {2003} } @inproceedings{BCO+07, author = {Bostan, A. and Chyzak, F. and Ollivier, F. and Salvy, B. and Schost, \'E. and Sedoglavic, A.}, title = {Fast computation of power series solutions of systems of differential equations}, pages = {1012--1021}, booktitle = {18th ACM-SIAM Symposium on Discrete Algorithms}, year = {2007}, note = {New Orleans, January 2007}, arxiv = {cs.SC/0604101}, } @InProceedings{BoLeSc03, author = {Bostan, A. and Lecerf, G. and Schost, \'E.}, title = {Tellegen's Principle Into Practice}, booktitle = {Proceedings of ISSAC'03}, pages = {37--44}, publisher = {ACM Press}, year = 2003, } @ARTICLE{BoSc05, author = {Bostan, A. and Schost, \'E.}, title = {Polynomial evaluation and interpolation on special sets of points}, journal = {J. Complexity}, year = {2005}, volume = {21}, pages = {420--446}, number = {4} } @ARTICLE{BFSS06, author = {Bostan, A. and Flajolet, P. and Salvy, B. and Schost, \'E.}, title = {Fast computation of special resultants}, journal = {J. Symb. Comp.}, year = {2006}, volume = {41}, pages = {1-29}, number = {1}, fjournal = {Journal of Symbolic Computation}, issn = {0747-7171}, mrclass = {65B99 (13P99)}, mrnumber = {2194883 (2006h:65005)}, } @ARTICLE{BCHS11, title = "Homotopy techniques for multiplication modulo triangular sets ", journal = "Journal of Symbolic Computation ", volume = "46", number = "12", pages = "1378 - 1402", year = "2011", note = "", issn = "0747-7171", author = "Alin Bostan and Muhammad F.I. Chowdhury and Joris van der Hoeven and \'Eric Schost", keywords = "Triangular sets", keywords = "Multiplication", keywords = "Complexity " } @InProceedings{BCLSS2012, author = {Bostan, A. and Chowdhury, M. F. I. and Lebreton, R. and Salvy, B. and Schost, \'E.}, title = {Power Series Solutions of Singular (q)-Differential Equations}, booktitle = {Proceedings of ISSAC'12}, pages = {107--114}, publisher = {ACM Press}, year = {2012} } @inproceedings{BGPS05, author = {Bostan, A. and Gonz{\'a}lez-Vega, L. and Perdry, H. and Schost, \'E.}, title = {From {N}ewton sums to coefficients: complexity issues in characteristic $p$}, booktitle = {MEGA'05}, year = {2005}, } @INPROCEEDINGS{BLM01, author = {Boulier, F. and Lemaire, F. and Moreno Maza, M.}, title = {Pardi!}, booktitle = {ISSAC'01}, year = {2001}, pages = {38--47}, publisher = {ACM}, mrclass = {13N15 (68W30)}, mrnumber = {2049729 (2005b:13046)}, mrreviewer = {Uma Naganathan Iyer}, } @article {BMSS08, AUTHOR = {Bostan, A. and Morain, F. and Salvy, B. and Schost, \'E.}, TITLE = {Fast algorithms for computing isogenies between elliptic curves}, JOURNAL = {Math. Comp.}, FJOURNAL = {Mathematics of Computation}, VOLUME = {77}, YEAR = {2008}, NUMBER = {263}, PAGES = {1755--1778}, ISSN = {0025-5718}, CODEN = {MCMPAF}, MRCLASS = {11Y16 (11G20 14Q05 94A60)}, MRNUMBER = {2398793 (2009k:11207)}, MRREVIEWER = {Steven D. Galbraith}, DOI = {10.1090/S0025-5718-08-02066-8}, } @BOOK{BourbakiAlgCom8.12, title = {\'{E}l\'ements de math\'ematique, {F}asc. {XXIII}}, publisher = {Hermann}, year = {1973}, author = {Bourbaki, N.}, pages = {189 pp. (1 foldout)}, address = {Paris}, note = {Livre II: Alg{\`e}bre. Chapitre 8: Modules et anneaux semi-simples}, mrclass = {16-02}, mrnumber = {0417224 (54 \#5282)} } @ARTICLE{BrKu78, author = {Brent, R. P. and Kung, H. T.}, title = {Fast algorithms for manipulating formal power series}, journal = {Journal of the ACM}, year = {1978}, volume = {25}, pages = {581--595}, number = {4}, date-added = {2006-03-06 15:23:50 +0100}, date-modified = {2006-03-06 15:23:50 +0100}, } @incollection {BSS08, AUTHOR = {Bostan, A. and Salvy, B. and Schost, \'E.}, TITLE = {Power series composition and change of basis}, BOOKTITLE = {I{SSAC} 2008}, PAGES = {269--276}, PUBLISHER = {ACM}, ADDRESS = {New York}, YEAR = {2008}, MRCLASS = {68W30 (33C45)}, MRNUMBER = {2513515 (2010h:68221)}, DOI = {10.1145/1390768.1390806}, } @incollection {BS09, AUTHOR = {Bostan, A. and Schost, \'E.}, TITLE = {Fast algorithms for differential equations in positive characteristic}, BOOKTITLE = {I{SSAC} 2009---{P}roceedings of the 2009 {I}nternational {S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation}, PAGES = {47--54}, PUBLISHER = {ACM}, ADDRESS = {New York}, YEAR = {2009}, MRCLASS = {68Q25 (34A30 68W30)}, MRNUMBER = {2742690 (2011k:68051)}, DOI = {10.1145/1576702.1576712}, } @PHDTHESIS{Buc65, author = {Buchberger, B.}, title = {Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal}, school = {Innsbruck}, year = {1965} } @article {BuLu12, AUTHOR = {Bus\'e, L. and Luu Ba, T.}, TITLE = {The surface/surface intersection problem by means of matrix based representations}, JOURNAL = {Comput. Aided Geom. Design}, FJOURNAL = {Computer Aided Geometric Design}, VOLUME = {29}, YEAR = {2012}, NUMBER = {8}, PAGES = {579--598}, ISSN = {0167-8396}, CODEN = {CAGDEX}, MRCLASS = {65D17 (53Axx 65D18)}, MRNUMBER = {2948569}, DOI = {10.1016/j.cagd.2012.04.002}, } @article {BuLu10, AUTHOR = {Bus\'e, L. and Luu Ba, T.}, TITLE = {Matrix-based implicit representations of rational algebraic curves and applications}, JOURNAL = {Comput. Aided Geom. Design}, FJOURNAL = {Computer Aided Geometric Design}, VOLUME = {27}, YEAR = {2010}, NUMBER = {9}, PAGES = {681--699}, ISSN = {0167-8396}, CODEN = {CAGDEX}, MRCLASS = {14Q05 (68W30)}, MRNUMBER = {2737586 (2012a:14129)}, MRREVIEWER = {David Sevilla}, DOI = {10.1016/j.cagd.2010.09.006}, } @BOOK{BCS97, title = {Algebraic complexity theory}, publisher = {Springer-Verlag}, year = {1997}, author = {B{\"u}rgisser, P. and Clausen, M. and Shokrollahi, M. A.}, volume = {315}, pages = {xxiv+618}, series = {Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]}, address = {Berlin}, note = {With the collaboration of Thomas Lickteig}, isbn = {3-540-60582-7}, mrclass = {68-02 (12Y05 65Y20 68Q05 68Q15 68Q25 68Q40)}, mrnumber = {1440179 (99c:68002)}, mrreviewer = {Alexander I. Barvinok} } @ARTICLE{CaKa1991, author = {Cantor, D.~G. and Kaltofen, E.}, title = {On fast multiplication of polynomials over arbitrary algebras}, journal = {Acta Inform.}, year = {1991}, volume = {28}, pages = {693--701}, number = {7}, coden = {AINFA2}, fjournal = {Acta Informatica}, issn = {0001-5903}, mrclass = {68Q40}, mrnumber = {1129288 (92i:68068)}, } @ARTICLE{CaMc94, author = {Casperson, D. and McKay, J.}, title = {Symmetric functions, {$m$}-sets, and {G}alois groups}, journal = {Math. Comp.}, year = {1994}, volume = {63}, pages = {749--757}, number = {208}, coden = {MCMPAF}, fjournal = {Mathematics of Computation}, issn = {0025-5718}, mrclass = {12-04 (05-04 05E15 12F10)}, mrnumber = {1234424 (95a:12001)}, mrreviewer = {Daniel Ashlock}, } @BOOK{Ch50, title = {Grundz{\"u}ge des Galois'shen Theorie}, publisher = {P. Noordhoff}, year = {1950}, author = {Chebotarev, N.} } @article{ChLaPePoRoTs10, author = {J. Cheng and S. Lazard and L.~M. Pe{\~n}aranda and M. Pouget and F. Rouillier and E. P. Tsigaridas}, title = {On the Topology of Real Algebraic Plane Curves}, journal = {Mathematics in Computer Science}, volume = {4}, number = {1}, year = {2010}, pages = {113-137}, } @INPROCEEDINGS{CM11, author = {Chen, C. and Moreno Maza, M.}, title = {Algorithms for Computing Triangular Decompositions of Polynomial Systems }, booktitle = {ISSAC'11}, year = {2011}, } @MISC{IML, author = {Chen, Z. and Storjohann, A.}, title = {{IML,} the {I}nteger {M}atrix {L}ibrary}, year = {2004}, note = {Version 1.0.3. Available from {\verb+https://cs.uwaterloo.ca/\~astorjoh/iml.html+}} } @misc{ChLe11, author = {Chowdhury, M. F. I. and Lebreton, R.}, title = {Root lifting techniques and applications to list decoding}, year = {2011}, howpublished = {Poster at ISSAC'11} } @UNPUBLISHED{CoGi10, author = {Colin, A. and Giusti, M.}, title = {Efficient computation of squarefree Lagrange resolvents}, year = {2010}, } @article{Coppersmith1994, author = {Coppersmith, D.}, journal = {Mathematics of Computation}, number = {205}, pages = {333--350}, title = {{Solving Homogeneous Linear Equation Over GF(2) via Block Wiedemann Algorithm}}, volume = {62}, year = {1994} } @PHDTHESIS{Cook66, author = {Cook, S. A.}, title = {On the minimum computation time of functions}, school = {Harvard University}, year = {1966}, } @article {CoTu65, AUTHOR = {Cooley, J. W. and Tukey, J. W.}, TITLE = {An algorithm for the machine calculation of complex {F}ourier series}, JOURNAL = {Math. Comp.}, FJOURNAL = {Mathematics of Computation}, VOLUME = {19}, YEAR = {1965}, PAGES = {297--301}, ISSN = {0025-5718}, MRCLASS = {65.90}, MRNUMBER = {0178586 (31 \#2843)}, } @ARTICLE{CoWi90, author = {Coppersmith, D. and Winograd, S.}, title = {Matrix multiplication via arithmetic progressions}, journal = {J. Symb. Comp.}, year = {1990}, volume = {9}, pages = {251--280}, number = {3}, fjournal = {Journal of Symbolic Computation}, issn = {0747-7171}, mrclass = {68Q25 (11Y16 15A30)}, mrnumber = {1056627 (91i:68058)}, mrreviewer = {Werner Hartmann} } @BOOK{CLO07, title = {Ideals, varieties, and algorithms}, publisher = {Springer}, year = {2007}, author = {Cox, D. and Little, J. and O'Shea, D.}, pages = {xvi+551}, series = {Undergraduate Texts in Mathematics}, address = {New York}, edition = {Third}, note = {An introduction to computational algebraic geometry and commutative algebra}, isbn = {978-0-387-35650-1; 0-387-35650-9}, mrclass = {13P10 (13-01 14-01 14Qxx 68W30)}, mrnumber = {2290010 (2007h:13036)}, } @BOOK{CLO98, title = {Using algebraic geometry}, publisher = {Springer-Verlag}, year = {1998}, author = {Cox, D. and Little, J. and O'Shea, D.}, volume = {185}, pages = {xii+499}, series = {Graduate Texts in Mathematics}, address = {New York}, isbn = {0-387-98487-9; 0-387-98492-5}, mrclass = {13Pxx (13-01 14-01 14Qxx)}, mrnumber = {1639811 (99h:13033)}, mrreviewer = {P. Schenzel} } @ARTICLE{Csanky76, author = {Csanky, L.}, title = {Fast parallel matrix inversion algorithms}, journal = {SIAM J. Comput.}, year = {1976}, volume = {5}, pages = {618--623}, number = {4}, } @ARTICLE{DaJiMoSc08, author = {Dahan, X. and Jin, X. and Moreno Maza, M. and Schost, \'E.}, title = {Change of Ordering for Regular Chains in Positive Dimension}, journal = {Theoretical Computer Science}, year = {2008}, volume = {392}, pages = {37-65}, number = {1-3}, } @INPROCEEDINGS{DaMoScXi06, author = {Dahan, X. and Moreno Maza, M. and Schost, \'E. and Xie, Y.}, title = {On the complexity of the {D}5 principle}, booktitle = {Transgressive Computing}, year = {2006}, pages = {149--168}, } @ARTICLE{DaScWu09, author = {Dahan, X. and Schost, \'E. and Wu, J.}, title = {Evaluation properties of invariant polynomials}, journal = {J. Symbolic Comput.}, year = {2009}, volume = {44}, pages = {1592--1604}, number = {11}, fjournal = {Journal of Symbolic Computation}, issn = {0747-7171}, mrclass = {13A50 (13-04 13P15 68W30)}, mrnumber = {2561290 (2011b:13017)}, mrreviewer = {Daniel Robertz}, } @INPROCEEDINGS{DMSWX05a, author = {Dahan, X. and Moreno Maza, M. and Schost, \'E. and Wu, W. and Xie, Y.}, title = {Lifting techniques for triangular decompositions}, booktitle = {ISSAC'05}, year = {2005}, pages = {108--115}, publisher = {ACM Press}, } @incollection {DKSS08, AUTHOR = {De, A. and Kurur, P. and Saha, C. and Saptharishi, R.}, TITLE = {Fast integer multiplication using modular arithmetic}, BOOKTITLE = {S{TOC}'08}, PAGES = {499--505}, PUBLISHER = {ACM}, ADDRESS = {New York}, YEAR = {2008}, MRCLASS = {68W30 (68Q25)}, MRNUMBER = {2582908 (2011c:68218)}, DOI = {10.1145/1374376.1374447}, } @article{DeFeo10, author = {De Feo, L. and Schost, \'E.}, title = {transalpyne: a language for automatic transposition}, journal = {ACM Commun. Comput. Algebra}, issue_date = {March/June 2010}, volume = {44}, number = {1/2}, month = jul, year = {2010}, issn = {1932-2240}, pages = {59--71}, numpages = {13}, acmid = {1838624}, publisher = {ACM}, address = {New York, NY, USA}, } @PHDTHESIS{DeFeob10, author = {De Feo, L.}, title = {{Algorithmes Rapides pour les Tours de Corps Finis et les Isog\'enies}}, school = {\'Ecole Polytechnique X}, year = {2010}, month = Dec, keywords = {Calcul formel; th\'eorie algorithmique des nombres; cryptographie; courbes elliptiques; isog\'enies; corps finis; complexit\'e alg\'ebrique; principe de transposition}, } @INCOLLECTION{DeSc09, author = {De Feo, L. and Schost, \'E.}, title = {Fast arithmetics in {A}rtin-{S}chreier towers over finite fields}, booktitle = {ISSAC'09}, publisher = {ACM}, year = {2009}, pages = {127-134}, mrclass = {11T06 (68Q25)}, mrnumber = {2742700 (2011k:11167)} } @INCOLLECTION{DeDiDu85, author = {Della Dora, J. and Dicrescenzo, C. and Duval, D.}, title = {About a new method for computing in algebraic number fields}, booktitle = {EUROCAL '85}, publisher = {Springer Berlin / Heidelberg}, year = {1985}, editor = {Caviness, Bob}, volume = {204}, series = {Lecture Notes in Computer Science}, pages = {289-290}, note = {10.1007/3-540-15984-3_279}, } @BOOK{DeKe02, title = {Computational invariant theory}, publisher = {Springer-Verlag}, year = {2002}, author = {Derksen, H. and Kemper, G.}, pages = {x+268}, series = {Invariant Theory and Algebraic Transformation Groups, I}, address = {Berlin}, note = {Encyclopaedia of Mathematical Sciences, 130}, isbn = {3-540-43476-3}, mrclass = {13A50 (13P10)}, mrnumber = {MR1918599 (2003g:13004)}, mrreviewer = {Dmitri I. Panyushev} } @article{DiEmTs09, author = "Diochnos, D. I. and Emiris, I. Z. and Tsigaridas, E. P.", title = "On the asymptotic and practical complexity of solving bivariate systems over the reals", journal = "J. Symb. Comput.", volume = "44", number = "7", pages = "818--835", year = "2009", } @ARTICLE{DiLo10, author = {Diaz-Toca, G. M. and Lombardi, H.}, title = {Dynamic {G}alois theory}, journal = {J. Symb. Comp.}, year = {2010}, volume = {45}, pages = {1316--1329}, number = {12}, fjournal = {Journal of Symbolic Computation}, issn = {0747-7171}, mrclass = {12F10 (12Y05 68W30)}, mrnumber = {2733381}, } @ARTICLE{Dixon1982, author = {Dixon, J. D.}, title = {Exact solution of linear equations using {$p$}-adic expansions}, journal = {Numer. Math.}, year = {1982}, volume = {40}, pages = {137--141}, number = {1}, coden = {NUMMA7}, fjournal = {Numerische Mathematik}, issn = {0029-599X}, mrclass = {65F05 (10A30 10M10 15A06 15A36)}, mrnumber = {681819 (83m:65025)}, } @article {DRS11, AUTHOR = {Drevet, C.-\'E. and Islam, M. N. and Schost, \'E.}, TITLE = {Optimization techniques for small matrix multiplication}, JOURNAL = {Theoret. Comput. Sci.}, FJOURNAL = {Theoretical Computer Science}, VOLUME = {412}, YEAR = {2011}, NUMBER = {22}, PAGES = {2219--2236}, ISSN = {0304-3975}, CODEN = {TCSDI}, MRCLASS = {68W30 (68Q25)}, MRNUMBER = {2815855 (2012e:68411)}, MRREVIEWER = {Laurent Bus\'e}, DOI = {10.1016/j.tcs.2010.12.012}, } @ARTICLE{DuLe08, author = {Durvye, C. and Lecerf, G.}, title = {A concise proof of the {K}ronecker polynomial system solver from scratch}, journal = {Expo. Math.}, year = {2008}, volume = {26}, pages = {101--139}, number = {2}, fjournal = {Expositiones Mathematicae}, issn = {0723-0869}, mrclass = {14Q15 (68W30)}, mrnumber = {2413831 (2009c:14119)}, mrreviewer = {Laurent Bus\'e}, } @InProceedings{EmSa12, author = {P. Emeliyanenko and M. Sagraloff}, title = {On the Complexity of Solving a Bivariate Polynomial System}, booktitle = {ISSAC}, year = 2012, publisher = {ACM} } @BOOK{FaFr49, title = {Collected problems in higher algebra}, publisher = {Freeman}, year = {1949}, author = {Faddeev, D. and Sominskii, I.}, } @unpublished{FGHR13, AUTHOR = {Faug{\`e}re, J.-C and Gaudry, P. and Huot, L. and Renault, G.}, TITLE = {{Polynomial Systems Solving by Fast Linear Algebra}}, KEYWORDS = {Polynomial systems solving, Gröbner basis, Change of ordering, Fast matrix multiplication}, NOTE = {27 pages}, YEAR = {2013}, } @incollection {FaRa09, AUTHOR = {Faug{\`e}re, J.-C. and Rahmany, S.}, TITLE = {Solving systems of polynomial equations with symmetries using {SAGBI}-{G}r\"obner bases}, BOOKTITLE = {I{SSAC} 2009---{P}roceedings of the 2009 {I}nternational {S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation}, PAGES = {151--158}, PUBLISHER = {ACM}, ADDRESS = {New York}, YEAR = {2009}, MRCLASS = {13P10 (68W30)}, MRNUMBER = {2742703 (2012a:13050)}, MRREVIEWER = {Teresa E. Krick}, DOI = {10.1145/1576702.1576725}, } @BOOK{LF, title = {Computational Methods of Linear Algebra}, publisher = {Freeman}, year = {1963}, author = {Faddeev, D. K. and Faddeeva, V. N.}, address = {San Francisco}, } @ARTICLE{FGLM93, author = {Faug{\`e}re, J. C. and Gianni, P. and Lazard, D. and Mora, T.}, title = {Efficient computation of zero-dimensional {G}r\"obner bases by change of ordering}, journal = {J. Symb. Comp.}, year = {1993}, volume = {16}, pages = {329--344}, number = {4}, fjournal = {Journal of Symbolic Computation}, issn = {0747-7171}, mrclass = {68Q40}, mrnumber = {1263871 (94k:68095)}, } @INPROCEEDINGS{Fa02, author = {Faug{\`e}re, J.-C.}, title = {A new efficient algorithm for computing {G}r\"obner bases without reduction to zero {$(F_5)$}}, booktitle = {ISSAC'02}, year = {2002}, pages = {75--83}, publisher = {ACM}, mrclass = {13P10 (68W30)}, mrnumber = {2035234 (2005c:13033)}, mrreviewer = {Thomas Bayer}, } @ARTICLE{Fa99, author = {Faug{\`e}re, J.-C.}, title = {A new efficient algorithm for computing {G}r\"obner bases {$(F_4)$}}, journal = {J. Pure Appl. Algebra}, year = {1999}, volume = {139}, pages = {61--88}, number = {1-3}, note = {Effective methods in algebraic geometry}, coden = {JPAAA2}, fjournal = {Journal of Pure and Applied Algebra}, issn = {0022-4049}, mrclass = {13P10}, mrnumber = {1700538 (2000c:13038)}, mrreviewer = {Ralf Fr{\"o}berg}, } @INPROCEEDINGS{FM11, author = {Faug{\`e}re, J.-C. and Mou, C.}, title = {{Fast algorithm for change of ordering of zero-dimensional {G}r\"obner bases with sparse multiplication matrices}}, booktitle = {ISSAC'11}, year = {2011}, pages = {115-122}, publisher = {ACM} } @ARTICLE{FiSt1974, author = {Fischer, M. J. and Stockmeyer, L. J.}, title = {Fast on-line integer multiplication}, journal = {J. Comput. System Sci.}, year = {1974}, volume = {9}, pages = {317--331}, fjournal = {Journal of Computer and System Sciences}, issn = {0022-0000}, mrclass = {68A20}, mrnumber = {0400783 (53 \#4613)}, mrreviewer = {Sven-Ake Gustafson}, } @INPROCEEDINGS{Furer2007, author = {F{\"u}rer, M.}, title = {Faster {I}nteger {M}ultiplication}, booktitle = {Proceedings of STOC 2007}, year = {2007}, pages = {57--66}, address = {San Diego, California}, } @article{Gall14, author = {Le Gall, F.}, title = {Powers of Tensors and Fast Matrix Multiplication}, journal = {CoRR}, volume = {abs/1401.7714}, year = {2014}, ee = {http://arxiv.org/abs/1401.7714}, bibsource = {DBLP, http://dblp.uni-trier.de} } @TechReport{GaLa11, author = {M. Gastineau and J. Laskar}, title = {{\sc TRIP} 1.2.26}, type = {TRIP Reference manual}, institution = {IMCCE}, year = {2012}, note = {{\tt http://www.imcce.fr/trip/}}, } @incollection {GaMi91, AUTHOR = {Gallo, G. and Mishra, B.}, TITLE = {Efficient algorithms and bounds for {W}u-{R}itt characteristic sets}, BOOKTITLE = {Effective methods in algebraic geometry ({C}astiglioncello, 1990)}, SERIES = {Progr. Math.}, VOLUME = {94}, PAGES = {119--142}, PUBLISHER = {Birkh\"auser Boston}, ADDRESS = {Boston, MA}, YEAR = {1991}, MRCLASS = {14Q20 (13P99)}, MRNUMBER = {1106418 (92e:14058)}, MRREVIEWER = {Ralf Fr{\"o}berg}, } @book {GaGe03, AUTHOR = {von zur Gathen, Joachim and Gerhard, J{\"u}rgen}, TITLE = {Modern computer algebra}, EDITION = {Third}, PUBLISHER = {Cambridge University Press, Cambridge}, YEAR = {2013}, PAGES = {xiv+795}, ISBN = {978-1-107-03903-2}, MRCLASS = {68W30 (11Y05 11Y11 13Pxx)}, MRNUMBER = {3087522}, DOI = {10.1017/CBO9781139856065}, } @book {BrZi10, AUTHOR = {Brent, R. and Zimmermann, P.}, TITLE = {Modern computer arithmetic}, SERIES = {Cambridge Monographs on Applied and Computational Mathematics}, VOLUME = {18}, PUBLISHER = {Cambridge University Press}, ADDRESS = {Cambridge}, YEAR = {2011}, PAGES = {xvi+221}, ISBN = {978-0-521-19469-3}, MRCLASS = {65Y04}, MRNUMBER = {2760886 (2012h:65315)}, } @INPROCEEDINGS{GaGe97, author = {J. von zur Gathen and J. Gerhard}, title = {Fast algorithms for {T}aylor shifts and certain difference equations}, booktitle = {ISSAC'97}, year = {1997}, pages = {40--47}, publisher = {ACM} } @TechReport{GaLa12, author = {M. Gastineau and J. Laskar}, title = {{\sc TRIP} 1.2.26}, type = {TRIP Reference manual}, institution = {IMCCE}, year = {2012}, note = {{\tt http://www.imcce.fr/trip/}}, } @incollection {GiMo89, AUTHOR = {Gianni, P. and Mora, T.}, TITLE = {Algebraic solution of systems of polynomial equations using {G}roebner bases}, BOOKTITLE = {Applied algebra, algebraic algorithms and error-correcting codes ({M}enorca, 1987)}, SERIES = {Lecture Notes in Comput. Sci.}, VOLUME = {356}, PAGES = {247--257}, PUBLISHER = {Springer}, ADDRESS = {Berlin}, YEAR = {1989}, MRCLASS = {13P10}, MRNUMBER = {1008541 (91e:13024)}, DOI = {10.1007/3-540-51082-6_83}, } @PHDTHESIS{Giorgi2004, author = {Giorgi, P.}, title = {Arithm\'etique et algorithmique en alg\`ebre lin\'eaire exacte pour la biblioth\`eque LinBox}, school = {ENS Lyon, France}, year = {2004}, } @inproceedings {GJV03, AUTHOR = {Giorgi, P. and Jeannerod, C.-P. and Villard, G.}, TITLE = {On the complexity of polynomial matrix computations}, BOOKTITLE = {Proceedings of the 2003 {I}nternational {S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation}, PAGES = {135--142 (electronic)}, PUBLISHER = {ACM}, ADDRESS = {New York}, YEAR = {2003}, MRCLASS = {68Q25 (15A99 68W30)}, MRNUMBER = {2035204}, DOI = {10.1145/860854.860889}, } @misc{GiLe13, author = {Giorgi, P. and Lebreton, R.}, title = {Relaxing order basis algorithm}, year = {2013}, howpublished = {Poster at ISSAC'13} } @unpublished{GiLe14, author = {Giorgi, P. and Lebreton, R.}, title = {Online order basis algorithm and its impact on block Wiedemann algorithm}, note = {Accepted to ISSAC'14}, year = {2014} } @INCOLLECTION{GiHe90, author = {Giusti, M. and Heintz, J.}, title = {Algorithmes---disons rapides---pour la d\'ecomposition d'une vari\'et\'e alg\'ebrique en composantes irr\'eductibles et \'equidimensionnelles}, booktitle = {MEGA}, publisher = {Birkh\"auser}, year = {1991}, volume = {94}, series = {Progr. Math.}, pages = {169--194}, mrclass = {14Q15 (68Q20 68Q40)}, mrnumber = {1106421 (92d:14047)}, mrreviewer = {Alexander Nabutovsky} } @article {GHHMMP97, AUTHOR = {Giusti, M. and Heintz, J. and H{\"a}gele, K. and Morais, J. E. and Pardo, L. M. and Monta{\~n}a, J. L.}, TITLE = {Lower bounds for {D}iophantine approximations}, NOTE = {Algorithms for algebra (Eindhoven, 1996)}, JOURNAL = {J. Pure Appl. Algebra}, FJOURNAL = {Journal of Pure and Applied Algebra}, VOLUME = {117/118}, YEAR = {1997}, PAGES = {277--317}, ISSN = {0022-4049}, CODEN = {JPAAA2}, MRCLASS = {68Q25 (14Q15)}, MRNUMBER = {1457843 (99d:68106)}, DOI = {10.1016/S0022-4049(97)00015-7}, } @article {GHMP97, AUTHOR = {Giusti, M. and Heintz, J. and Morais, J. E. and Pardo, L. M.}, TITLE = {Le r\^ole des structures de donn\'ees dans les probl\`emes d'\'elimination}, JOURNAL = {C. R. Acad. Sci. Paris S\'er. I Math.}, FJOURNAL = {Comptes Rendus de l'Acad\'emie des Sciences. S\'erie I. Math\'ematique}, VOLUME = {325}, YEAR = {1997}, NUMBER = {11}, PAGES = {1223--1228}, ISSN = {0764-4442}, CODEN = {CASMEI}, MRCLASS = {68Q40}, MRNUMBER = {1490129 (98j:68068)}, DOI = {10.1016/S0764-4442(97)83558-6}, } @ARTICLE{GLS01, author = {Giusti, M. and Lecerf, G. and Salvy, B.}, title = {A {G}r\"obner free alternative for polynomial system solving}, journal = {J. Complexity}, year = {2001}, volume = {17}, pages = {154--211}, number = {1}, fjournal = {Journal of Complexity}, issn = {0885-064X}, mrclass = {68W30 (12Y05 13P10 14Q99 68W40)}, mrnumber = {1817612 (2002b:68123)}, mrreviewer = {Daniel Lazard}, } @MISC{GMP, author = {Granlund, T. and others}, title = {{GMP,} the {GNU} multiple precision arithmetic library}, year = {1991}, note = {Version 5.0.2.}, } @article {GR08, AUTHOR = {Guruswami, V. and Rudra, A.}, TITLE = {Explicit codes achieving list decoding capacity: error-correction with optimal redundancy}, JOURNAL = {IEEE Trans. Inform. Theory}, FJOURNAL = {Institute of Electrical and Electronics Engineers. Transactions on Information Theory}, VOLUME = {54}, YEAR = {2008}, NUMBER = {1}, PAGES = {135--150}, ISSN = {0018-9448}, CODEN = {IETTAW}, MRCLASS = {94B35 (94A24)}, MRNUMBER = {2446745 (2010b:94096)}, MRREVIEWER = {Landang Yuan}, DOI = {10.1109/TIT.2007.911222}, } @article {HaQuZi04, AUTHOR = {Hanrot, G. and Quercia, M. and Zimmermann, P.}, TITLE = {The middle product algorithm. {I}}, JOURNAL = {Appl. Algebra Engrg. Comm. Comput.}, FJOURNAL = {Applicable Algebra in Engineering, Communication and Computing}, VOLUME = {14}, YEAR = {2004}, NUMBER = {6}, PAGES = {415--438}, ISSN = {0938-1279}, CODEN = {AAECEW}, MRCLASS = {65B99}, MRNUMBER = {2042800 (2005a:65003)}, DOI = {10.1007/s00200-003-0144-2}, } @article {HaZi04, AUTHOR = {Hanrot, G. and Zimmermann, P.}, TITLE = {A long note on {M}ulders' short product}, JOURNAL = {J. Symbolic Comput.}, FJOURNAL = {Journal of Symbolic Computation}, VOLUME = {37}, YEAR = {2004}, NUMBER = {3}, PAGES = {391--401}, ISSN = {0747-7171}, MRCLASS = {65B10 (12Y05)}, MRNUMBER = {2092652 (2005g:65011)}, MRREVIEWER = {John P. Coleman}, DOI = {10.1016/j.jsc.2003.03.001}, } @article{Harvey12, title = "The Karatsuba integer middle product ", journal = "Journal of Symbolic Computation ", volume = "47", number = "8", pages = "954 - 967", year = "2012", note = "", issn = "0747-7171", author = "David Harvey", keywords = "Middle product", keywords = "Integer arithmetic", keywords = "Efficient algorithm " } @article{Harvey14, title = "Faster arithmetic for number-theoretic transforms ", journal = "Journal of Symbolic Computation ", volume = "60", number = "0", pages = "113 - 119", year = "2014", note = "", issn = "0747-7171", author = "David Harvey", keywords = "Number-theoretic transform", keywords = "Fast Fourier transform", keywords = "Modular arithmetic", keywords = "Efficient algorithm " } @article {Hensel1918, AUTHOR = {Hensel, K.}, TITLE = {Eine neue {T}heorie der algebraischen {Z}ahlen}, JOURNAL = {Math. Z.}, FJOURNAL = {Mathematische Zeitschrift}, VOLUME = {2}, YEAR = {1918}, NUMBER = {3-4}, PAGES = {433--452}, ISSN = {0025-5874}, CODEN = {MAZEAX}, MRCLASS = {Contributed Item}, MRNUMBER = {1544329}, DOI = {10.1007/BF01199422}, } @ARTICLE{HKPW00, author = {Heintz, J. and Krick, T. and Puddu, S. and Sabia, J. and Waissbein, A.}, title = {Deformation techniques for efficient polynomial equation solving}, journal = {J. Complexity}, year = {2000}, volume = {16}, pages = {70--109}, number = {1}, fjournal = {Journal of Complexity}, issn = {0885-064X}, mrclass = {65H10 (13P99)}, mrnumber = {1762400 (2001c:65067)}, mrreviewer = {Miodrag Petkovi{\'c}}, } @unpublished{HLS13old, author = {J. van der Hoeven and Lebreton, R. and Schost, \'E.}, title = {Structured {FFT} and {TFT}: symmetric and lattice polynomials}, note = {Submitted} } @inproceedings{HLS13, author = {J. van der Hoeven and Lebreton, R. and Schost, \'{E}}, title = {Structured FFT and TFT: Symmetric and Lattice Polynomials}, booktitle = {Proceedings of the 38th International Symposium on International Symposium on Symbolic and Algebraic Computation}, series = {ISSAC '13}, year = {2013}, isbn = {978-1-4503-2059-7}, location = {Boston, Maine, USA}, pages = {355--362}, numpages = {8}, acmid = {2465526}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {lattice fft, symmetric fft, tft}, } @article {HMW01, AUTHOR = {Heintz, J. and Matera, G. and Waissbein, A.}, TITLE = {On the time-space complexity of geometric elimination procedures}, JOURNAL = {Appl. Algebra Engrg. Comm. Comput.}, FJOURNAL = {Applicable Algebra in Engineering, Communication and Computing}, VOLUME = {11}, YEAR = {2001}, NUMBER = {4}, PAGES = {239--296}, ISSN = {0938-1279}, CODEN = {AAECEW}, MRCLASS = {68W30 (68Q25)}, MRNUMBER = {1818975 (2002c:68108)}, MRREVIEWER = {Peter B{\"u}rgisser}, DOI = {10.1007/s002000000046}, } @ARTICLE{Hennie66, author={Hennie, F. C.}, journal={Electronic Computers, IEEE Transactions on}, title={On-Line Turing Machine Computations}, year={1966}, volume={EC-15}, number={1}, pages={35 -44}, keywords={}, ISSN={0367-7508}, } @ARTICLE{Hoeij1997, author = {Hoeij, M.~van}, title = {Formal solutions and factorization of differential operators with power series coefficients}, journal = {J. Symbolic Comput.}, year = {1997}, volume = {24}, pages = {1--30}, number = {1}, fjournal = {Journal of Symbolic Computation}, issn = {0747-7171}, mrclass = {12H20 (34A25)}, mrnumber = {1459667 (98e:12006)}, mrreviewer = {G. Eisenreich}, } @TECHREPORT{Hoeven2012, author = {J. van der Hoeven}, title = {Faster relaxed multiplication}, institution = {HAL}, year = {2012} } @TechReport{Hoeven2011, author = {J. van der Hoeven}, title = {From implicit to recursive equations}, institution = {HAL}, year = {2011}, } @Article{Hoeven2010, author = {J. van der Hoeven}, title = {Newton's method and {FFT} trading}, journal = {JSC}, year = {2010}, volume = {45}, number = {8}, pages = {857--878} } @TECHREPORT{Hoeven2009, author = {J. van der Hoeven}, title = {Relaxed resolution of implicit equations}, institution = {HAL}, year = {2009}, } @ARTICLE{Hoeven2007, author = {J. van der Hoeven}, title = {New algorithms for relaxed multiplication}, journal = {J. Symbolic Comput.}, year = {2007}, volume = {42}, pages = {792--802}, number = {8}, fjournal = {Journal of Symb. Computation}, issn = {0747-7171}, mrclass = {68W30 (13F25 13P99)}, mrnumber = {2345837 (2008k:68129)}, } @TechReport{Hoeven2005, author = {J. van der Hoeven}, title = {Notes on the {Truncated} {Fourier} {Transform}}, institution = {Universit\'e Paris-Sud, Orsay, France}, number = {2005-5}, year = {2005} } @InProceedings{Hoeven2004, author = {J. van der Hoeven}, title = {The Truncated {Fourier} Transform and Applications}, booktitle = {Proc. ISSAC 2004}, pages = {290--296}, year = {2004}, editor = {J. Gutierrez}, address = {Univ. of Cantabria, Santander, Spain}, month = {July 4--7} } @inproceedings {Hoeven2003, AUTHOR = {J. van der Hoeven}, TITLE = {Relaxed multiplication using the middle product}, BOOKTITLE = {Proceedings of the 2003 {I}nternational {S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation}, PAGES = {143--147 (electronic)}, PUBLISHER = {ACM}, ADDRESS = {New York}, YEAR = {2003}, MRCLASS = {68W30 (65Y99)}, MRNUMBER = {2035205}, DOI = {10.1145/860854.860890}, } @ARTICLE{Hoeven2002, author = {J. van der Hoeven}, title = {Relax, but don't be too lazy}, journal = {J. Symb. Comput.}, year = {2002}, volume = {34}, pages = {479--542}, number = {6}, fjournal = {Journal of Symbolic Computation}, issn = {0747-7171}, mrclass = {13F25 (13P99 68W30)}, mrnumber = {MR1943041 (2003k:13026)}, mrreviewer = {Ralph W. Wilkerson}, } @INPROCEEDINGS{Hoeven1997, author = {J. van der Hoeven}, title = {Lazy multiplication of formal power series}, booktitle = {ISSAC '97}, year = {1997}, pages = {17--20}, address = {Maui, Hawaii}, } @BOOK{Householder64, title = {The Theory of Matrices in Numerical Analysis}, publisher = {Blaisdell Publishing Company}, year = {1964}, author = {Householder, A. S.} } @ARTICLE{KaOf63, author = {Karatsuba, A. and Ofman, Y.}, title = {Multiplication of Multidigit Numbers on Automata}, journal = {Soviet Physics Doklady}, year = {1963}, volume = {7}, pages = {595} } @ARTICLE{Kalk93, author = {Kalkbrener, M.}, title = {A generalized {E}uclidean algorithm for computing triangular representations of algebraic varieties}, journal = {J. Symb. Comp.}, year = {1993}, volume = {15}, pages = {143-167} } @InProceedings{Ka92, author = "Kaltofen, E.", title = "On computing determinants of matrices without divisions", booktitle = "Proc. 1992 Internat. Symp. Symbolic Algebraic Comput. (ISSAC'92)", editor = "P. S. Wang", publisher = "ACM Press", year = "1992", address = "New York, N. Y.", pages = "342--349" } @incollection {KaMa89, AUTHOR = {Kapur, D. and Madlener, K.}, TITLE = {A completion procedure for computing a canonical basis for a {$k$}-subalgebra}, BOOKTITLE = {Computers and mathematics ({C}ambridge, {MA}, 1989)}, PAGES = {1--11}, PUBLISHER = {Springer}, ADDRESS = {New York}, YEAR = {1989}, MRCLASS = {13-04 (13A15 13B25 68Q40)}, MRNUMBER = {1005954 (90g:13001)}, MRREVIEWER = {Bernd Sturmfels}, } @ARTICLE{KaVi04, author = {Kaltofen, E. and Villard, G.}, title = {On the complexity of computing determinants}, journal = {Comput. Complexity}, year = {2004}, volume = {13}, pages = {91--130}, number = {3-4}, coden = {CPTCEU}, fjournal = {Computational Complexity}, issn = {1016-3328}, mrclass = {68W30 (65F40 68Q25 68W20)}, mrnumber = {2120701 (2005m:68263)}, mrreviewer = {Alexander I. Barvinok}, } @INCOLLECTION{Kapoulas2001, author = {Kapoulas, G.}, title = {Polynomially time computable functions over {$p$}-adic fields}, booktitle = {Computability and complexity in analysis}, publisher = {Springer}, year = {2001}, volume = {2064}, pages = {101--118}, address = {Berlin}, mrclass = {03D60 (03D80 03F60 68Q15)}, mrnumber = {1893074 (2003e:03085)}, mrreviewer = {Luis Miguel Pardo}, } @ARTICLE{Ka1997, author = {Karczmarczuk, J.}, title = {Generating power of lazy semantics}, journal = {Theoret. Comput. Sci.}, year = {1997}, volume = {187}, pages = {203--219}, number = {1-2}, coden = {TCSDI}, fjournal = {Theoretical Computer Science}, issn = {0304-3975}, mrclass = {68N15 (03D20 68Q55)}, mrnumber = {1479983 (99d:68038)}, mrreviewer = {Herbert J. Bernstein}, } @article{Katsura90, author = {Katsura, S.}, title = {Spin Glass Problem by the Method of Integral Equation of the Effective Field}, journal = {New Trends in Magnetism}, pages = {110--121}, year = {1990} } @ARTICLE{Kemper99, author = {Kemper, G.}, title = {An algorithm to calculate optimal homogeneous systems of parameters}, journal = {J. Symbolic Comput.}, year = {1999}, volume = {27}, pages = {171--184}, number = {2}, fjournal = {Journal of Symbolic Computation}, issn = {0747-7171}, mrclass = {13P99 (68W30)}, mrnumber = {1672128 (2000a:13046)}, mrreviewer = {T. W. Hungerford}, } @UNPUBLISHED{King07a, author = {King, S.}, title = {Minimal generating sets of non-modular invariant rings of finite groups}, year = {2007}, } @UNPUBLISHED{King07b, author = {King, S.}, title = {Fast Computation of Secondary Invariants}, year = {2007}, } @article {Kir01, AUTHOR = {Kirrinnis, Peter}, TITLE = {Fast algorithms for the {S}ylvester equation {$AX-XB^{\ssf T}=C$}}, JOURNAL = {Theoret. Comput. Sci.}, FJOURNAL = {Theoretical Computer Science}, VOLUME = {259}, YEAR = {2001}, NUMBER = {1-2}, PAGES = {623--638}, ISSN = {0304-3975}, CODEN = {TCSDI}, MRCLASS = {65F30 (15A24 68Q25)}, MRNUMBER = {1832813 (2002c:65061)}, DOI = {10.1016/S0304-3975(00)00322-4}, } @ARTICLE{Kr82, author = {Kronecker, L.}, title = {Grundz\"uge einer arithmetischen theorie des algebraischen gr\"ossen}, journal = {J. reine angew. Math.}, year = {1882}, volume = {92}, pages = {1--122}, fjournal = {Journal f\"ur die reine und angewandte Mathematik} } @BOOK{Ko03, title = {Aus dem Ungarischen {\"u}bertragen vom Verfasser}, publisher = {B. G. Teubner}, year = {1903}, author = {K{\"o}nig, J.}, address = {Leipzig} } @inproceedings{Kossmann02, author = {Kossmann, D. and Ramsak, F. and Rost, S.}, title = {Shooting Stars in the Sky: An Online Algorithm for Skyline Queries}, booktitle = {Proceedings of the 28th International Conference on Very Large Data Bases}, series = {VLDB '02}, year = {2002}, location = {Hong Kong, China}, pages = {275--286}, numpages = {12}, acmid = {1287394}, publisher = {VLDB Endowment}, } @article {Krish75, AUTHOR = {Krishnamurthy, E. V. and Rao, T. Mahadeva and Subramanian, K.}, TITLE = {{$p$}-{\rm adic}\ arithmetic procedures for exact matrix computations}, JOURNAL = {Proc. Indian Acad. Sci. Sect. A}, VOLUME = {82}, YEAR = {1975}, NUMBER = {5}, PAGES = {165--175}, MRCLASS = {10A30 (65F99 68A15)}, MRNUMBER = {0392802 (52 \#13615)}, MRREVIEWER = {Robert Todd Gregory}, } @article {KU11, AUTHOR = {Kedlaya, K. S. and Umans, C.}, TITLE = {Fast polynomial factorization and modular composition}, JOURNAL = {SIAM J. Comput.}, FJOURNAL = {SIAM Journal on Computing}, VOLUME = {40}, YEAR = {2011}, NUMBER = {6}, PAGES = {1767--1802}, ISSN = {0097-5397}, CODEN = {SMJCAT}, MRCLASS = {11Y16 (11Y05 68W30 68W40)}, MRNUMBER = {2863194}, DOI = {10.1137/08073408X}, } @ARTICLE{La70, author = {Lagrange, J.-L.}, title = {R\'eflexions sur la r\'esolution alg\'ebrique des \'equations}, journal = {M\'emoires de l'Acad\'emie de Berlin}, year = {1770} } @book {La02, AUTHOR = {Lang, S.}, TITLE = {Algebra}, SERIES = {Graduate Texts in Mathematics}, VOLUME = {211}, EDITION = {third}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, YEAR = {2002}, PAGES = {xvi+914}, ISBN = {0-387-95385-X}, MRCLASS = {00A05 (15-02)}, MRNUMBER = {1878556 (2003e:00003)}, DOI = {10.1007/978-1-4613-0041-0}, } @article {La91, AUTHOR = {Lazard, D.}, TITLE = {A new method for solving algebraic systems of positive dimension}, NOTE = {Applied algebra, algebraic algorithms, and error-correcting codes (Toulouse, 1989)}, JOURNAL = {Discrete Appl. Math.}, FJOURNAL = {Discrete Applied Mathematics. The Journal of Combinatorial Algorithms, Informatics and Computational Sciences}, VOLUME = {33}, YEAR = {1991}, NUMBER = {1-3}, PAGES = {147--160}, ISSN = {0166-218X}, CODEN = {DAMADU}, MRCLASS = {12Y05 (13P99 65H10)}, MRNUMBER = {1137743 (93b:12019)}, MRREVIEWER = {Timothy Stokes}, DOI = {10.1016/0166-218X(91)90113-B}, } @INCOLLECTION{Lang91, author = {Langemyr, L.}, title = {Algorithms for a multiple algebraic extension}, booktitle = {Effective methods in algebraic geometry)}, publisher = {Birkh\"auser}, year = {1991}, volume = {94}, series = {Progr. Math.}, pages = {235--248}, } @ARTICLE{LeVerrier40, author = {Le Verrier, U. J. J.}, title = {Sur les variations s\'eculaires des \'el\'ements elliptiques des sept plan{\`e}tes principales~: {M}ercure, {V}enus, {L}a {T}erre, {M}ars, {J}upiter, {S}aturne et {U}ranus}, journal = {J. Math. Pures Appli.}, year = {1840}, volume = {4}, pages = {220-254}, } @PHDTHESIS{Le12, author = {Lebreton, R.}, title = {Contributions to relaxed algorithms and polynomial system solving}, school = {\'Ecole Polytechnique}, year = {2012}, } @unpublished{Leb14, author = {Lebreton, R.}, title = {Relaxed {H}ensel lifting of triangular sets}, note = {Journal of Symbolic Computation, to appear}, year = {2014} } @misc{LeMeSc12, author = {Lebreton, R. and Mehrabi, E. and Schost, \'E.}, title = {On the complexity of computing certain resultants}, year = {2012}, howpublished = {Poster at ISSAC'12} } @inproceedings{LeMeSc13, author = {Lebreton, R. and Mehrabi, E. and Schost, \'E.}, title = {On the Complexity of Solving Bivariate Systems: The Case of Non-singular Solutions}, booktitle = {Proceedings of the 38th International Symposium on International Symposium on Symbolic and Algebraic Computation}, series = {ISSAC '13}, year = {2013}, isbn = {978-1-4503-2059-7}, location = {Boston, Maine, USA}, pages = {251--258}, numpages = {8}, acmid = {2465950}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {bivariate polynomial systems, complexity}, } @unpublished{LeSc14, author = {Lebreton, R. and Schost, {\'E}.}, title = {A simple and fast online power series multiplication and its analysis}, note = {Submitted}, year = {2013} } @InProceedings{LeSc2012, author = {Lebreton, R. and Schost, \'E.}, title = {Algorithms for the universal decomposition algebra}, booktitle = {Proceedings of ISSAC'12}, pages = {234--241}, publisher = {ACM Press}, year = {2012}, } @unpublished{LeSc13, author = {Lebreton, R. and Schost, \'E.}, title = {A simple and fast online power series multiplication and its analysis}, year = {2013}, } @unpublished{LeSc13b, author = {Lebreton, R. and Schost, \'E.}, title = {Algorithms for the splitting field}, note = {In preparation} } @inproceedings{Lipson76, author = {Lipson, J. D.}, title = {Newton's method: a great algebraic algorithm}, booktitle = {Proceedings of the third ACM symposium on Symbolic and algebraic computation}, series = {SYMSAC '76}, year = {1976}, location = {Yorktown Heights, New York, United States}, pages = {260--270}, numpages = {11}, acmid = {806344}, publisher = {ACM}, address = {New York, NY, USA}, } @MISC{kronecker, author = {Lecerf, G. and others}, title = {Kronecker}, year = {2002}, note = {Available from {\verb+http://lecerf.perso.math.cnrs.fr/software/kronecker/+}} } @article {Lecerf03, AUTHOR = {Lecerf, G.}, TITLE = {Computing the equidimensional decomposition of an algebraic closed set by means of lifting fibers}, JOURNAL = {J. Complexity}, FJOURNAL = {Journal of Complexity}, VOLUME = {19}, YEAR = {2003}, NUMBER = {4}, PAGES = {564--596}, ISSN = {0885-064X}, MRCLASS = {68W30 (14Q99)}, MRNUMBER = {1991984 (2004j:68200)}, MRREVIEWER = {Luis Miguel Pardo}, DOI = {10.1016/S0885-064X(03)00031-1}, } @article {LiMaSc09, AUTHOR = {Li, X. and Moreno Maza, M. and Schost, \'E.}, TITLE = {Fast arithmetic for triangular sets: from theory to practice}, JOURNAL = {J. Symbolic Comput.}, FJOURNAL = {Journal of Symbolic Computation}, VOLUME = {44}, YEAR = {2009}, NUMBER = {7}, PAGES = {891--907}, ISSN = {0747-7171}, MRCLASS = {68W30 (11Y16)}, MRNUMBER = {2522589 (2010h:68228)}, DOI = {10.1016/j.jsc.2008.04.019}, } @INPROCEEDINGS{Le97, author = {Lehobey, F.}, title = {Resolvent computations by resultants without extraneous powers}, booktitle = {ISSAC '97}, year = {1997}, pages = {85--92}, publisher = {ACM}, mrclass = {68W30 (12F10)}, mrnumber = {1809974}, } @INPROCEEDINGS{LeMoXi05, author = {Lemaire, F. and {Moreno Maza}, M. and Xie, Y.}, title = {The \texttt{{R}egular{C}hains} library}, booktitle = {\emph{Maple Conference 2005}}, year = {2005}, editor = {{Ilias S. Kotsireas}}, pages = {355-368}, } @INPROCEEDINGS{LiMoPa09, author = {Li, X. and {Moreno Maza}, M. and Pan, W.}, title = {Computations modulo regular chains}, booktitle = {ISSAC'09}, year = {2009}, pages = {239--246}, publisher = {ACM} } @ARTICLE{LiMoSc09, author = {Li, X. and {Moreno Maza}, M. and Schost, \'E.}, title = {Fast Arithmetic for triangular sets: from theory to practice}, journal = {Journal of Symbolic Computation}, year = {2009}, volume = {44}, pages = {891--907}, number = {7}, } @MANUAL{LinBox, title = {Lin{B}ox -- {E}xact {L}inear {A}lgebra over the {I}ntegers and {F}inite {R}ings}, organization = {The LinBox~Group}, year = {2005}, note = {Available from {\verb+http://www.linalg.org+}}, key = {LinBox}, } @article {LS08, AUTHOR = {Lercier, R. and Sirvent, T.}, TITLE = {On {E}lkies subgroups of {$l$}-torsion points in elliptic curves defined over a finite field}, JOURNAL = {J. Th\'eor. Nombres Bordeaux}, FJOURNAL = {Journal de Th\'eorie des Nombres de Bordeaux}, VOLUME = {20}, YEAR = {2008}, NUMBER = {3}, PAGES = {783--797}, ISSN = {1246-7405}, MRCLASS = {11G20 (11Y16)}, MRNUMBER = {2523317 (2010d:11067)}, MRREVIEWER = {Andrew V. Sutherland}, URL = {http://jtnb.cedram.org/item?id=JTNB_2008__20_3_783_0}, } @BOOK{Ma94, title = {The algebraic theory of modular systems}, publisher = {Cambridge University Press}, year = {1916}, author = {Macaulay, F. S.}, pages = {xxxii+112}, isbn = {0-521-45562-6}, mrclass = {13-03 (01A75 14-03)}, mrnumber = {1281612 (95i:13001)}, mrreviewer = {P. Schenzel} } @MISC{mmx, author = {J. van der Hoeven and Lecerf, G. and Mourrain, B. and others}, title = {Mathemagix}, year = {2002}, note = {Available from {\verb+http://www.mathemagix.org+}} } @ARTICLE{Modpn, author = {Li, X. and Moreno Maza, M. and Rasheed, R. and Schost, \'E.}, title = {The modpn library: Bringing fast polynomial arithmetic into Maple}, journal = {Journal of Symbolic Computation}, year = {2010}, volume = {In Press, Corrected Proof}, pages = { - }, issn = {0747-7171}, keywords = {Fast polynomial arithmetic}, } @INCOLLECTION{MoCa1979, author = {Moenck, R. T. and Carter, J. H.}, title = {Approximate algorithms to derive exact solutions to systems of linear equations}, booktitle = {EUROSAM '79}, publisher = {Springer}, year = {1979}, volume = {72}, pages = {65--73}, mrclass = {65F10}, mrnumber = {575681 (81g:65045)}, mrreviewer = {R. E. Funderlic}, } @PHDTHESIS{Morf74, author = {Morf, M.}, title = {Fast algorithms for multivariable systems}, school = {Stanford University}, year = {1974} } @INPROCEEDINGS{Morf80, author = {Morf, M.}, title = {Doubling algorithms for Toeplitz and related equations}, booktitle = {IEEE Conference on Acoustics, Speech, and Signal Processing}, year = {1980}, pages = {954-959}, } @INPROCEEDINGS{MoRi95, author = {Moreno Maza, M. and Rioboo, R.}, title = {Polynomial {GCD} Computations over Towers of Algebraic Extensions}, booktitle = {AAECC-11}, year = {1995}, pages = {365-382}, publisher = {Springer}, } @ARTICLE{Mourrain97, author = {Mourrain, B.}, title = {Isolated points, duality and residues}, journal = {J. Pure Appl. Algebra}, year = {1997}, volume = {117/118}, pages = {469--493}, note = {Algorithms for algebra (Eindhoven, 1996)}, coden = {JPAAA2}, fjournal = {Journal of Pure and Applied Algebra}, issn = {0022-4049}, mrclass = {14B10 (14Q20)}, mrnumber = {1457851 (98g:14007)}, mrreviewer = {Joachim Apel}, } @unpublished{MPRI, author = {Bostan, A. and Chyzak, F. and Giusti, M. and Lebreton, R. and Salvy, B. and Schost, \'E.}, title = {Algorithmes Efficaces en Calcul Formel}, note = {Notes of course 2-22 of MPRI, in progress}, year = {2012}, } @article {Mulders00, AUTHOR = {Mulders, T.}, TITLE = {On short multiplications and divisions}, JOURNAL = {Appl. Algebra Engrg. Comm. Comput.}, FJOURNAL = {Applicable Algebra in Engineering, Communication and Computing}, VOLUME = {11}, YEAR = {2000}, NUMBER = {1}, PAGES = {69--88}, ISSN = {0938-1279}, CODEN = {AAECEW}, MRCLASS = {68W30}, MRNUMBER = {1817699 (2001m:68187)}, DOI = {10.1007/s002000000037}, } @BOOK{Newton1736, title = {The method of fluxions and infinite series: with its application to the geometry of curve-lines}, publisher = {Henry Woodfall}, year = {1736}, author = {Newton, I.}, } @MISC{NTL, author = {Shoup, V. and others}, year = {1990}, note = {Version 5.5.2. Available from {\verb+http://www.shoup.net/ntl/+}}, } @book {Pan2001, AUTHOR = {Pan, V. Y.}, TITLE = {Structured matrices and polynomials}, NOTE = {Unified superfast algorithms}, PUBLISHER = {Birkh\"auser Boston Inc.}, ADDRESS = {Boston, MA}, YEAR = {2001}, PAGES = {xxvi+278}, ISBN = {0-8176-4240-4}, MRCLASS = {65-02 (65F99)}, MRNUMBER = {1843842 (2002i:65001)}, MRREVIEWER = {Aaron Melman}, DOI = {10.1007/978-1-4612-0129-8}, } @ARTICLE{PoSc11, author = {Poteaux, A. and Schost, \'E.}, title = {On the complexity of computing with zero-dimensional triangular sets}, journal = {Submitted}, year = {2011}, bibsource = {DBLP, http://dblp.uni-trier.de}, ee = {http://arxiv.org/abs/1109.4323} } @ARTICLE{PrSa78, author = {Preparata, F. P. and Sarwate, D. V.}, title = {An improved parallel processor bound in fast matrix inversion}, journal = {Information Processing Letters}, year = {1978}, volume = {7}, pages = {148--150}, number = {2}, } @INPROCEEDINGS{Reischert97, author = {Reischert, D.}, title = {Asymptotically Fast Computation of Subresultants}, booktitle = {ISSAC'97}, year = {1997}, pages = {233--240}, publisher = {ACM}, } @ARTICLE{Rennert04, author = {Rennert, N.}, title = {A parallel multi-modular algorithm for computing {L}agrange resolvents}, journal = {J. Symbolic Comput.}, year = {2004}, volume = {37}, pages = {547--556}, number = {5}, fjournal = {Journal of Symbolic Computation}, issn = {0747-7171}, mrclass = {12F10 (12Y05 68W10)}, mrnumber = {2094613 (2005h:12008)}, mrreviewer = {Jaime-Luis Garcia-Roig}, } @ARTICLE{ReVa99, author = {Rennert, N. and Valibouze, A.}, title = {Calcul de r\'esolvantes avec les modules de {C}auchy}, journal = {Exp. Math.}, year = {1999}, volume = {8}, pages = {351--366}, number = {4}, fjournal = {Experimental Mathematics}, issn = {1058-6458}, mrclass = {12F10}, mrnumber = {1737231 (2001e:12002)}, mrreviewer = {Jean-Daniel Th\'erond}, } @book {Ri66, AUTHOR = {Ritt, J. F.}, TITLE = {Differential algebra}, PUBLISHER = {Dover Publications Inc.}, ADDRESS = {New York}, YEAR = {1966}, PAGES = {viii+184}, MRCLASS = {12.80}, MRNUMBER = {0201431 (34 \#1315)}, } @ARTICLE{Ro99, author = {Rouillier, F.}, title = {Solving zero-dimensional systems through the rational univariate representation}, journal = {Appl. Algebra Engrg. Comm. Comput.}, year = {1999}, volume = {9}, pages = {433--461}, number = {5}, coden = {AAECEW}, fjournal = {Applicable Algebra in Engineering, Communication and Computing}, issn = {0938-1279}, mrclass = {13P10}, mrnumber = {1697179 (2000e:13038)}, mrreviewer = {Reinhard C. Laubenbacher}, } @article {Schost03b, AUTHOR = {Schost, \'E.}, TITLE = {Complexity results for triangular sets}, NOTE = {International Symposium on Symbolic and Algebraic Computation (ISSAC'2002) (Lille)}, JOURNAL = {J. Symbolic Comput.}, FJOURNAL = {Journal of Symbolic Computation}, VOLUME = {36}, YEAR = {2003}, NUMBER = {3-4}, PAGES = {555--594}, ISSN = {0747-7171}, MRCLASS = {68W30 (68W40)}, MRNUMBER = {2004042 (2004m:68295)}, MRREVIEWER = {Andrzej Kozlowski}, DOI = {10.1016/S0747-7171(03)00095-6}, } @ARTICLE{Schost03, author = {Schost, \'E.}, title = {Computing parametric geometric resolutions}, journal = {Appl. Algebra Engrg. Comm. Comput.}, year = {2003}, volume = {13}, pages = {349--393}, number = {5}, } @PHDTHESIS{Schost01, author = {Schost, \'E.}, title = {Sur la r\'esolution des syst{\`e}mes polynomiaux {\`a} param{\`e}tres}, school = {\'Ecole Polytechnique}, year = {2001} } @inproceedings {Schost02, AUTHOR = {Schost, \'E.}, TITLE = {Degree bounds and lifting techniques for triangular sets}, BOOKTITLE = {Proceedings of the 2002 {I}nternational {S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation}, PAGES = {238--245 (electronic)}, PUBLISHER = {ACM}, ADDRESS = {New York}, YEAR = {2002}, MRCLASS = {13P99 (65H10)}, MRNUMBER = {2035255 (2005a:13054)}, DOI = {10.1145/780506.780537}, } @INCOLLECTION{Schroder1997, author = {Schr{\"o}der, M.}, title = {Fast online multiplication of real numbers}, booktitle = {STACS 97 (L\"ubeck)}, publisher = {Springer}, year = {1997}, volume = {1200}, series = {Lecture Notes in Comput. Sci.}, pages = {81--92}, address = {Berlin}, mrclass = {68Q25 (03D15 03D65 68Q05)}, mrnumber = {1473765 (98g:68067)}, } @ARTICLE{Sc80, author = {Schwartz, J. T.}, title = {Fast probabilistic algorithms for verification of polynomial identities}, journal = {J. ACM}, year = {1980}, volume = {27}, pages = {701--717}, number = {4}, coden = {JACOAH}, fjournal = {Journal of the Association for Computing Machinery}, issn = {0004-5411}, mrclass = {68C20 (03B35 12-04)}, mrnumber = {594695 (82m:68078)}, } @ARTICLE{Sc88, author = {Sch{\"o}nhage, A.}, title = {Probabilistic computation of integer polynomial {GCD}s}, journal = {J. Algorithms}, year = {1988}, volume = {9}, pages = {365--371}, number = {3}, coden = {JOALDV}, fjournal = {Journal of Algorithms}, issn = {0196-6774}, mrclass = {11Y05 (11Y16 12-04 68Q25 68Q40)}, mrnumber = {955145 (89h:11084)}, mrreviewer = {Claus-Peter Schnorr} } @TECHREPORT{Sch82, author = {Sch{\"o}nhage, A.}, title = {The fundamental theorem of algebra in terms of computational complexity}, institution = {Univ. T{\"u}bingen}, year = {1982}, note = {73 pages}, } @ARTICLE{ScSt71, author = {Sch{\"o}nhage, A. and Strassen, V.}, title = {Schnelle {M}ultiplikation grosser {Z}ahlen}, journal = {Computing}, year = {1971}, volume = {7}, pages = {281--292}, mrclass = {68A20}, mrnumber = {0292344 (45 \#1431)} } @BOOK{Se78, title = {Repr\'esentations lin\'eaires des groupes finis}, publisher = {Hermann}, year = {1978}, author = {Serre, J.-P.}, pages = {182}, address = {Paris}, edition = {revised}, isbn = {2-7056-5630-8}, mrclass = {20-01 (20C99)}, mrnumber = {MR543841 (80f:20001)}, } @INPROCEEDINGS{Shoup99, author = {Shoup, V.}, title = {Efficient computation of minimal polynomials in algebraic extensions of finite fields}, booktitle = {ISSAC '99}, year = {1999}, pages = {53--58}, publisher = {ACM}, mrclass = {12E20 (68W30)}, mrnumber = {1802067 (2002b:12004)}, } @ARTICLE{Sh94, author = {Shoup, V.}, title = {Fast construction of irreducible polynomials over finite fields}, journal = {J. Symb. Comp.}, year = {1994}, volume = {17}, pages = {371--391}, number = {5}, fjournal = {Journal of Symbolic Computation}, issn = {0747-7171}, mrclass = {11T06 (11Y16 68Q40)}, mrnumber = {1289997 (95k:11156)}, mrreviewer = {Joachim von zur Gathen}, } @PHDTHESIS{So81, author = {Soicher, L.}, title = {The computation of the Galois groups}, school = {Concordia University, Montreal, Quebec, Canada}, year = {1981}, keywords = {Calcul formel; th\'eorie algorithmique des nombres; cryptographie; courbes elliptiques; isog\'enies; corps finis; complexit\'e alg\'ebrique; principe de transposition}, } @ARTICLE{Souriau48, author = {Souriau, {J.-M.}}, title = {Une m\'ethode pour la d\'ecomposition spectrale et l'inversion des matrices}, journal = {Comptes rendus des S\'eances de l'Acad\'emie des Sciences}, year = {1948}, volume = {227}, pages = {1010--1011}, } @ARTICLE{ASt10, author = {Steel, A. K.}, title = {Computing with algebraically closed fields}, journal = {J. Symb. Comp.}, year = {2010}, volume = {45}, pages = {342--372}, number = {3}, fjournal = {Journal of Symbolic Computation}, issn = {0747-7171}, mrclass = {13P05 (12F15 12Y05 13M10 68W30)}, mrnumber = {2578343 (2011d:13043)}, mrreviewer = {Jos\'e-Javier Mart{\'{\i}}nez}, } @ARTICLE{St90, author = {Stickelberger, L.}, title = {Ueber eine {V}erallgemeinerung der {K}reistheilung}, journal = {Math. Ann.}, year = {1890}, volume = {37}, pages = {321--367}, number = {3}, coden = {MAANA}, fjournal = {Mathematische Annalen}, issn = {0025-5831}, mrclass = {Contributed Item}, mrnumber = {1510649}, } @ARTICLE{Storjohann2003, author = {Storjohann, A.}, title = {High-order lifting and integrality certification}, journal = {J. Symbolic Comput.}, year = {2003}, volume = {36}, pages = {613--648}, number = {3-4}, note = {ISSAC'2002, Lille}, fjournal = {Journal of Symbolic Computation}, issn = {0747-7171}, mrclass = {15A15 (68W30)}, mrnumber = {2004044 (2004g:15009)}, } @article {Storjohann2005, AUTHOR = {Storjohann, A.}, TITLE = {The shifted number system for fast linear algebra on integer matrices}, JOURNAL = {J. Complexity}, FJOURNAL = {Journal of Complexity}, VOLUME = {21}, YEAR = {2005}, NUMBER = {4}, PAGES = {609--650}, ISSN = {0885-064X}, MRCLASS = {65Y20 (65F99 68Q25)}, MRNUMBER = {2152725 (2006b:65214)}, DOI = {10.1016/j.jco.2005.04.002}, } @PHDTHESIS{St10, author = {Stothers, A.}, title = {On the Complexity of Matrix Multiplication}, school = {University of Edinburgh}, year = {2010} } @BOOK{St93, title = {Algorithms in invariant theory}, publisher = {Springer-Verlag}, year = {1993}, author = {Sturmfels, B.}, pages = {vi+197}, series = {Texts and Monographs in Symbolic Computation}, address = {Vienna}, isbn = {3-211-82445-6}, mrclass = {13A50 (13P10 20-01 20-04 20G05)}, mrnumber = {MR1255980 (94m:13004)}, mrreviewer = {Frank D. Grosshans}, } @Article{TenEyck73, author = {{Ten Eyck}, L. F.}, title = {{Crystallographic Fast Fourier Transform}}, journal = {Acta Cryst.}, year = 1973, volume = {A29}, pages = {183-191}} @misc{texmacs, author = "J. van der Hoeven et al.", title = "Gnu Texmacs", year = "1998", note = {Available from {\verb+http://www.texmacs.org+}} } @article {Toom63, AUTHOR = {Toom, A. L.}, TITLE = {The complexity of a scheme of functional elements simulating the multiplication of integers}, JOURNAL = {Dokl. Akad. Nauk SSSR}, FJOURNAL = {Doklady Akademii Nauk SSSR}, VOLUME = {150}, YEAR = {1963}, PAGES = {496--498}, ISSN = {0002-3264}, MRCLASS = {68.00}, MRNUMBER = {0156494 (27 \#6417)}, MRREVIEWER = {E. Mendelson}, } @ARTICLE{Va11, author = {Valibouze, A.}, title = {Gr{\"o}bner basis of the alternating galoisian ideal}, journal = {Journal of Symbolic Computation}, year = {2011}, volume = {46}, pages = {396 - 405}, number = {4}, issn = {0747-7171}, keywords = {Galois group}, } @ARTICLE{Va93, author = {Valibouze, A.}, title = {Sur l'arit\'e des fonctions}, journal = {European J. Combin.}, year = {1993}, volume = {14}, pages = {359--372}, number = {4}, fjournal = {European Journal of Combinatorics}, issn = {0195-6698}, mrclass = {05E05 (12E99 20B30)}, mrnumber = {1226584 (94g:05099)}, mrreviewer = {Thomas Scharf}, } @INPROCEEDINGS{Valibouze87, author = {Valibouze, A.}, title = {Fonctions sym\'etriques et changements de bases}, booktitle = {EUROCAL'87}, year = {1989}, volume = {378}, series = {LNCS}, pages = {323--332} } @article {Wak70, AUTHOR = {Waksman, A.}, TITLE = {On {W}inograd's algorithm for inner products}, JOURNAL = {IEEE Trans. Computers}, FJOURNAL = {Institute of Electrical and Electronics Engineers. Transactions on Computers}, VOLUME = {C-19}, YEAR = {1970}, NUMBER = {4}, PAGES = {360--361}, ISSN = {0018-9340}, MRCLASS = {68A10 (68A20)}, MRNUMBER = {0455534 (56 \#13772)}, } @book {Walker78, AUTHOR = {Walker, R. J.}, TITLE = {Algebraic curves}, NOTE = {Reprint of the 1950 edition}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, YEAR = {1978}, PAGES = {x+201}, ISBN = {0-387-90361-5}, MRCLASS = {14-01 (01A75)}, MRNUMBER = {513824 (80c:14001)}, } @book {Was65, AUTHOR = {Wasow, W.}, TITLE = {Asymptotic expansions for ordinary differential equations}, SERIES = {Pure and Applied Mathematics, Vol. XIV}, PUBLISHER = {Interscience Publishers John Wiley \& Sons, Inc., New York-London-Sydney}, YEAR = {1965}, PAGES = {ix+362}, MRCLASS = {34.50}, MRNUMBER = {0203188 (34 \#3041)}, MRREVIEWER = {N. D. Kazarinoff}, } @INCOLLECTION{Wa89, author = {Watt, S.}, title = {A fixed point method for power series computation}, booktitle = {Symbolic and Algebraic Computation}, series = {Lecture Notes in Computer Science}, editor = {Gianni, P.}, publisher = {Springer Berlin / Heidelberg}, isbn = {978-3-540-51084-0}, keyword = {Computer Science}, pages = {206-217}, volume = {358}, year = {1989} } @UNPUBLISHED{Wi11, author = {Vassilevska Williams, V.}, title = {Breaking the {C}oppersmith-{W}inograd barrier}, year = {2011} } @article {Wu84, AUTHOR = {Wu, W. J.}, TITLE = {Basic principles of mechanical theorem proving in elementary geometries}, JOURNAL = {J. Systems Sci. Math. Sci.}, FJOURNAL = {Journal of Systems Science and Mathematical Sciences. Xitong Kexue yu Shuxue}, VOLUME = {4}, YEAR = {1984}, NUMBER = {3}, PAGES = {207--235}, ISSN = {1000-0577}, CODEN = {XKSHEW}, MRCLASS = {03B35 (14N99 51-04 68T15)}, MRNUMBER = {795000 (87g:03017)}, } @ARTICLE{Yokoyama97, author = {Yokoyama, K.}, title = {A modular method for computing the {G}alois groups of polynomials}, journal = {J. Pure Appl. Algebra}, year = {1997}, volume = {117/118}, pages = {617-636} } @inproceedings{Yun76, AUTHOR = {Yun, D. Y. Y.}, title = {Algebraic algorithms using p-adic constructions}, booktitle = {Proceedings of the third ACM symposium on Symbolic and algebraic computation}, series = {SYMSAC '76}, year = {1976}, location = {Yorktown Heights, New York, United States}, pages = {248--259}, numpages = {12}, acmid = {806343}, publisher = {ACM}, address = {New York, NY, USA}, } @INCOLLECTION{Zi79, author = {Zippel, R.}, title = {Probabilistic algorithms for sparse polynomials}, booktitle = {EUROSAM'79}, publisher = {Springer}, year = {1979}, volume = {72}, series = {LNCS}, pages = {216-226}, mrclass = {68C20}, mrnumber = {575692 (81g:68061)} }