-
3
-
-
33646925446
-
Ein algorithmisches Kriterium für die Lösbarkeit eines algebrais-chen Gleichungssystems
-
B. Buchberger, Ein algorithmisches Kriterium für die Lösbarkeit eines algebrais-chen Gleichungssystems, Æquationes Mathematicæ, 4 (1970), pp. 374-383.
-
(1970)
Æquationes Mathematicæ
, vol.4
, pp. 374-383
-
-
Buchberger, B.1
-
4
-
-
85033908900
-
-
private communication
-
K. Burrage, private communication.
-
-
-
Burrage, K.1
-
7
-
-
0347130374
-
Order conditions for canonical Runge-Kutta-Nyström methods
-
M. P. Calvo and J. M. Sanz-Serna, Order conditions for canonical Runge-Kutta-Nyström methods, BIT, 32 (1992), pp. 131-142.
-
(1992)
BIT
, vol.32
, pp. 131-142
-
-
Calvo, M.P.1
Sanz-Serna, J.M.2
-
8
-
-
33746314863
-
Symplectic integration of Hamiltonian systems
-
P. J. Channel and C. Scovel, Symplectic integration of Hamiltonian systems, Non-linearity, 3 (1990), pp. 231-239.
-
(1990)
Non-linearity
, vol.3
, pp. 231-239
-
-
Channel, P.J.1
Scovel, C.2
-
9
-
-
0001586081
-
On the number of isolating integrals in Hamiltonian systems
-
G. Contopoulos, G. Galgani, and A. Giorgilli, On the number of isolating integrals in Hamiltonian systems, Phys. Rev., A18 (1978), pp. 1183-1189.
-
(1978)
Phys. Rev.
, vol.A18
, pp. 1183-1189
-
-
Contopoulos, G.1
Galgani, G.2
Giorgilli, A.3
-
10
-
-
0003908675
-
-
Springer-Verlag, New York
-
D. Cox, J. Little, and D. O'Shea, Ideals, Varieties and Algorithms, 2nd ed., Springer-Verlag, New York, 1997.
-
(1997)
Ideals, Varieties and Algorithms, 2nd Ed.
-
-
Cox, D.1
Little, J.2
O'Shea, D.3
-
11
-
-
85045586263
-
The lifespan of backward error analysis for numerical integrators
-
submitted to
-
E. Hairer and C. Lubich, The lifespan of backward error analysis for numerical integrators, submitted to Numer. Math., 1996.
-
(1996)
Numer. Math.
-
-
Hairer, E.1
Lubich, C.2
-
12
-
-
0003589989
-
-
Springer-Verlag, Berlin
-
E. Hairer, S. P. Nørsett and G. Wanner, Solving Ordinary Differential Equations I: Non-stiff Problems, 2nd ed., Springer-Verlag, Berlin, 1993.
-
(1993)
Solving Ordinary Differential Equations I: Non-stiff Problems, 2nd Ed.
-
-
Hairer, E.1
Nørsett, S.P.2
Wanner, G.3
-
13
-
-
34250391672
-
A theory for Nyström methods
-
E. Hairer and G. Wanner, A theory for Nyström methods, Numer. Math., 20 (1976), pp. 383-400.
-
(1976)
Numer. Math.
, vol.20
, pp. 383-400
-
-
Hairer, E.1
Wanner, G.2
-
17
-
-
0002009482
-
Elimination methods: An introduction
-
B. Donald, D. Kapur, and J. Mundy, eds., Academic Press, New York
-
D. Kapur and Y. N. Lakshman, Elimination methods: an introduction, in Symbolic and Numerical Computation for Artificial Intelligence, B. Donald, D. Kapur, and J. Mundy, eds., Academic Press, New York, 1992.
-
(1992)
Symbolic and Numerical Computation for Artificial Intelligence
-
-
Kapur, D.1
Lakshman, Y.N.2
-
18
-
-
0003555976
-
-
Addison Wesley, Reading, MA
-
D. E. Knuth, Fundamental Algorithms, 2nd ed., Addison Wesley, Reading, MA, 1973.
-
(1973)
Fundamental Algorithms, 2nd Ed.
-
-
Knuth, D.E.1
-
19
-
-
0003657593
-
-
Addison Wesley, Reading, MA
-
D. E. Knuth, Semi-numerical Algorithms, 2nd ed., Addison Wesley, Reading, MA, 1981.
-
(1981)
Semi-numerical Algorithms, 2nd Ed.
-
-
Knuth, D.E.1
-
20
-
-
0345869145
-
A note on Runge-Kutta processes for quadratic derivative functions
-
Louisiana State University
-
J. D. Lawson, A note on Runge-Kutta processes for quadratic derivative functions, in Proceedings of Combinatorics, Graph Theory and Computing, Louisiana State University, 1970.
-
(1970)
Proceedings of Combinatorics, Graph Theory and Computing
-
-
Lawson, J.D.1
-
21
-
-
85011518993
-
Numerical solution of multivariate polynomial systems by homotopy continuation methods
-
T. Y. Li, Numerical solution of multivariate polynomial systems by homotopy continuation methods, Acta Numerica, 6 (1997), pp. 399-436.
-
(1997)
Acta Numerica
, vol.6
, pp. 399-436
-
-
Li, T.Y.1
-
22
-
-
0030268948
-
Rigourous error analysis of numerical algorithms via symbolic computations
-
M. Mrozek, Rigourous error analysis of numerical algorithms via symbolic computations, J. Symb. Comp., 22:4 (1996), pp. 435-458.
-
(1996)
J. Symb. Comp.
, vol.22
, Issue.4
, pp. 435-458
-
-
Mrozek, M.1
-
24
-
-
84968505707
-
Explicit canonical methods for Hamiltonian systems
-
D. Okunbor and R. D. Skeel, Explicit canonical methods for Hamiltonian systems, Math. Comp., 59 (1992), 439-455.
-
(1992)
Math. Comp.
, vol.59
, pp. 439-455
-
-
Okunbor, D.1
Skeel, R.D.2
-
26
-
-
0345869143
-
-
PhD Thesis, DAMP, University of Cambridge, England
-
G. P. Ramaswami, Numerical solution of special separable Hamiltonians, PhD Thesis, DAMP, University of Cambridge, England, 1996.
-
(1996)
Numerical Solution of Special Separable Hamiltonians
-
-
Ramaswami, G.P.1
-
28
-
-
0000624922
-
Symbolic derivation of Runge-Kutta methods
-
M. Sofroniou, Symbolic derivation of Runge-Kutta methods, J. Symb. Comp., 18 (1994), pp. 265-296.
-
(1994)
J. Symb. Comp.
, vol.18
, pp. 265-296
-
-
Sofroniou, M.1
-
29
-
-
0029693598
-
Order stars and linear stability theory
-
M. Sofroniou, Order stars and linear stability theory, J. Symb. Comp., 21 (1996), pp. 101-131.
-
(1996)
J. Symb. Comp.
, vol.21
, pp. 101-131
-
-
Sofroniou, M.1
-
32
-
-
45449123467
-
Lie-Poisson Hamilton-Jacobi theory and Lie-Poisson integrators
-
G. Zhong and J. E. Marsden, Lie-Poisson Hamilton-Jacobi theory and Lie-Poisson integrators, Phys. Lett. A, 133 (1988), pp. 134-39.
-
(1988)
Phys. Lett. A
, vol.133
, pp. 134-139
-
-
Zhong, G.1
Marsden, J.E.2
|