Result 1 to 12 of 12 total
A regular fast multipole method for geometric numerical integrations of Hamiltonian systems. (English)
BIT 50, No. 1, 23-40 (2010).
1
An averaging technique for highly oscillatory Hamiltonian problems (English)
SIAM J. Numerical Analysis 47, No. 4, 2808-2837 (2009).
2
Numerical integrators based on modified differential equations (English)
Math. Comput. 76, No. 260, 1941-1953 (2007).
3
ABS project: Merging the best practices in software design from railway and aircraft industries. (English)
Bert, Didier (ed.) et al., ZB 2002: Formal specification and development in Z and B. 2nd international conference of B and Z users, Grenoble, France, January 23‒25, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43166-7). Lect. Notes Comput. Sci. 2272, 394-395 (2002).
4
ABS project: merging the best practices in software design from railway and aircraft industries (English)
ZB, 394-395 (2002).
5
Experiments with a variable-order type 1 DIMSIM code. (English)
Numer. Algorithms 22, No.3-4, 237-261 (1999).
6
The potential of parallel multi-value methods for the simulation of large real-life problems. (English)
CWI Q. 11, No.1, 7-32 (1998).
7
Formalisation of B in isabelle/HOL (English)
B, 66-82 (1998).
8
Parallel general linear methods for stiff ordinary differential and differential algebraic equations. (English)
Appl. Numer. Math. 17, No.3, 213-222 (1995).
9
$L$-stable parallel one-block methods for ordinary differential equations. (English)
SIAM J. Numer. Anal. 31, No.2, 552-571 (1994).
10
A parallel shooting technique for solving dissipative ODE’s. (English)
Computing 51, No.3-4, 209-236 (1993).
11
L-stable parallel one-block methods for stiff ODE’s (English)
PPSC, 743-746 (1993).
12
Result 1 to 12 of 12 total
Start
Contact
Print
General Help
