1: \def\gathen#1{{#1}}\def\cprime{$'$}
2: \begin{thebibliography}{10}
3:
4: \bibitem{Arnold92}
5: V.~I. Arnol{\cprime}d.
6: \newblock {\em Ordinary differential equations}.
7: \newblock Springer Textbook. Springer-Verlag, Berlin, 1992.
8: \newblock Translated from the third Russian edition by Roger Cooke.
9:
10: \bibitem{BaSt83}
11: W.~Baur and V.~Strassen.
12: \newblock The complexity of partial derivatives.
13: \newblock {\em Theoretical Computer Science}, 22:317--320, 1983.
14:
15: \bibitem{Bernstein}
16: D.~J. Bernstein.
17: \newblock Removing redundancy in high-precision {N}ewton iteration, 2000.
18: \newblock Available on-line at \url{http://cr.yp.to/fastnewton.html}.
19:
20: \bibitem{BoFlSaSc05}
21: A.~Bostan, P.~Flajolet, B.~Salvy, and {\'E}.~Schost.
22: \newblock Fast computation of special resultants.
23: \newblock {\em Journal of Symbolic Computation}, 41(1):1--29, January 2006.
24:
25: \bibitem{BoSc05}
26: A.~Bostan and {\'E}.~Schost.
27: \newblock Polynomial evaluation and interpolation on special sets of points.
28: \newblock {\em Journal of Complexity}, 21(4):420--446, August 2005.
29: \newblock Festschrift for the 70th Birthday of Arnold Sch{\"o}nhage.
30:
31: \bibitem{Brent75}
32: R.~P. Brent.
33: \newblock Multiple-precision zero-finding methods and the complexity of
34: elementary function evaluation.
35: \newblock In {\em Analytic computational complexity}, pages 151--176. Academic
36: Press, New York, 1976.
37: \newblock Proceedings of a Symposium held at Carnegie-Mellon University,
38: Pittsburgh, Pa., 1975.
39:
40: \bibitem{BrKu77}
41: R.~P. Brent and H.~T. Kung.
42: \newblock Fast algorithms for composition and reversion of multivariate power
43: series.
44: \newblock In {\em Proceedings of the Conference on Theoretical Computer
45: Science, University of Waterloo, Waterloo, Ontario Canada, August 1977},
46: pages 149 -- 158, 1977.
47:
48: \bibitem{BrKu78}
49: R.~P. Brent and H.~T. Kung.
50: \newblock Fast algorithms for manipulating formal power series.
51: \newblock {\em J. ACM}, 25(4):581--595, 1978.
52:
53: \bibitem{BuClSh97}
54: P.~B{\"u}rgisser, M.~Clausen, and M.~A. Shokrollahi.
55: \newblock {\em Algebraic complexity theory}, volume 315 of {\em Grundlehren
56: Math. Wiss.}
57: \newblock Springer--Verlag, 1997.
58:
59: \bibitem{CaKa91}
60: D.~G. Cantor and E.~Kaltofen.
61: \newblock On fast multiplication of polynomials over arbitrary algebras.
62: \newblock {\em Acta Inform.}, 28(7):693--701, 1991.
63:
64: \bibitem{Coddington61}
65: E.~A. Coddington.
66: \newblock {\em An introduction to ordinary differential equations}.
67: \newblock Prentice-Hall Mathematics Series. Prentice-Hall Inc., Englewood
68: Cliffs, N.J., 1961.
69:
70: \bibitem{Fulmer75}
71: E.~P. Fulmer.
72: \newblock Computation of the matrix exponential.
73: \newblock {\em Amer. Math. Monthly}, 82(2):156--159, 1975.
74:
75: \bibitem{GaGe97}
76: J.~\gathen{von zur} Gathen and J.~Gerhard.
77: \newblock Fast algorithms for {T}aylor shifts and certain difference equations.
78: \newblock In {\em ISSAC'97}, pages 40--47. ACM Press, 1997.
79:
80: \bibitem{GaGe99}
81: J.~\gathen{von zur} Gathen and J.~Gerhard.
82: \newblock {\em Modern computer algebra}.
83: \newblock Cambridge University Press, New York, 1999.
84:
85: \bibitem{Geddes1979}
86: K.~O. Geddes.
87: \newblock Convergence behavior of the {N}ewton iteration for first order
88: differential equations.
89: \newblock In {\em EUROSAM '79: Proceedings of the International Symposiumon on
90: Symbolic and Algebraic Computation}, pages 189--199, London, UK, 1979.
91: Springer-Verlag.
92:
93: \bibitem{Gu99}
94: C.~Q. Gu.
95: \newblock A new {P}ad\'e approximation algorithm for matrix exponentials.
96: \newblock {\em Acta Automat. Sinica}, 25(1):94--99, 1999.
97:
98: \bibitem{Gu01}
99: C.~Q. Gu.
100: \newblock Continued fraction algorithm for matrix exponentials.
101: \newblock {\em J. Shanghai Univ.}, 5(1):11--14, 2001.
102:
103: \bibitem{HaZi04}
104: G.~Hanrot and P.~Zimmermann.
105: \newblock Newton iteration revisited, 2002.
106: \newblock Available on-line at
107: \url{http://www.loria.fr/~zimmerma/papers/fastnewton.ps.gz}.
108:
109: \bibitem{HaFiSm01}
110: W.~A. Harris, Jr., J.~P. Fillmore, and D.~R. Smith.
111: \newblock Matrix exponentials---another approach.
112: \newblock {\em SIAM Rev.}, 43(4):694--706, 2001.
113:
114: \bibitem{Ince56}
115: E.~L. Ince.
116: \newblock {\em Ordinary Differential Equations}.
117: \newblock New York: Dover Publications, 1956.
118:
119: \bibitem{Kirchner67}
120: R.~B. Kirchner.
121: \newblock An explicit formula for {$e\sp{At}$}.
122: \newblock {\em Amer. Math. Monthly}, 74(10):1200--1204, 1967.
123:
124: \bibitem{Knuth70}
125: D.~E. Knuth.
126: \newblock The analysis of algorithms.
127: \newblock In {\em Actes du Congr\`es International des Math\'ematiciens (Nice,
128: 1970), Tome 3}, pages 269--274. Gauthier-Villars, Paris, 1971.
129:
130: \bibitem{KuTr78}
131: H.~T. Kung and J.~F. Traub.
132: \newblock All algebraic functions can be computed fast.
133: \newblock {\em Journal of the Association for Computing Machinery},
134: 25(2):245--260, 1978.
135:
136: \bibitem{Lagrange1869}
137: J.-L. Lagrange.
138: \newblock {\em {\OE}uvres}.
139: \newblock Editions Jacques Gabay, 1869.
140:
141: \bibitem{Leonard96}
142: I.~E. Leonard.
143: \newblock The matrix exponential.
144: \newblock {\em SIAM Rev.}, 38(3):507--512, 1996.
145:
146: \bibitem{Liz98}
147: E.~Liz.
148: \newblock A note on the matrix exponential.
149: \newblock {\em SIAM Rev.}, 40(3):700--702, 1998.
150:
151: \bibitem{LuRo04}
152: U.~Luther and K.~Rost.
153: \newblock Matrix exponentials and inversion of confluent {V}andermonde
154: matrices.
155: \newblock {\em Electron. Trans. Numer. Anal.}, 18:91--100, 2004.
156:
157: \bibitem{MoCa79}
158: R.~T. Moenck and J.~H. Carter.
159: \newblock Approximate algorithms to derive exact solutions to systems of linear
160: equations.
161: \newblock In {\em Symbolic and algebraic computation (EUROSAM '79, Internat.
162: Sympos., Marseille)}, volume~72 of {\em LNCS}, pages 65--73. Springer,
163: Berlin, 1979.
164:
165: \bibitem{MoLo78}
166: C.~Moler and C.~Van~Loan.
167: \newblock Nineteen dubious ways to compute the exponential of a matrix.
168: \newblock {\em SIAM Rev.}, 20(4):801--836, 1978.
169:
170: \bibitem{MoLo03}
171: C.~Moler and C.~Van~Loan.
172: \newblock Nineteen dubious ways to compute the exponential of a matrix,
173: twenty-five years later.
174: \newblock {\em SIAM Rev.}, 45(1):3--49, 2003.
175:
176: \bibitem{Magma}
177: Computational Algebra Group~(University of~Sydney).
178: \newblock The {M}agma computational algebra system.
179: \newblock Available on-line at \url{http://magma.maths.usyd.edu.au/}.
180:
181: \bibitem{Pennell26}
182: W.~O. Pennell.
183: \newblock A {N}ew {M}ethod for {D}etermining a {S}eries {S}olution of {L}inear
184: {D}ifferential {E}quations with {C}onstant or {V}ariable {C}oefficients.
185: \newblock {\em Amer. Math. Monthly}, 33(6):293--307, 1926.
186:
187: \bibitem{Putzer66}
188: E.~J. Putzer.
189: \newblock Avoiding the {J}ordan canonical form in the discussion of linear
190: systems with constant coefficients.
191: \newblock {\em Amer. Math. Monthly}, 73(1):2--7, 1966.
192:
193: \bibitem{Rall69}
194: L.~B. Rall.
195: \newblock {\em Computational solution of nonlinear operator equations}.
196: \newblock With an appendix by Ramon E. Moore. John Wiley \& Sons Inc., New
197: York, 1969.
198:
199: \bibitem{Schonhage71}
200: A.~Sch{\"o}nhage.
201: \newblock Schnelle {B}erechnung von {K}ettenbruchentwicklungen.
202: \newblock {\em Acta Inform.}, 1:139--144, 1971.
203:
204: \bibitem{ScSt71}
205: A.~Sch\"onhage and V.~Strassen.
206: \newblock {S}chnelle {M}ultiplikation gro\ss er {Z}ahlen.
207: \newblock {\em Computing}, 7:281--292, 1971.
208:
209: \bibitem{Schulz33}
210: G.~Schulz.
211: \newblock Iterative {B}erechnung der reziproken {M}atrix.
212: \newblock {\em Z. Angew. Math. Mech.}, 13:57--59, 1933.
213:
214: \bibitem{Storjohann02}
215: A.~Storjohann.
216: \newblock High-order lifting.
217: \newblock In {\em ISSAC'02}, pages 246--254. ACM, 2002.
218:
219: \bibitem{Strassen83}
220: V.~Strassen.
221: \newblock The computational complexity of continued fractions.
222: \newblock {\em SIAM Journal on Computing}, 12:1--27, 1983.
223:
224: \bibitem{vdHoeven02}
225: J.~van~der Hoeven.
226: \newblock Relax, but don't be too lazy.
227: \newblock {\em J. Symbolic Comput.}, 34(6):479--542, 2002.
228:
229: \bibitem{Werschulz80}
230: A.~G. Werschulz.
231: \newblock Computational complexity of one-step methods for systems of
232: differential equations.
233: \newblock {\em Math. Comp.}, 34(149):155--174, 1980.
234:
235: \end{thebibliography}
236: