Search CORE

5 research outputs found

A Kind of Difference Methods for Enclosing Solutions of Ordinary Linear Boundary Value Problems

Author: EW Kaucher
G Alefeld
G Mayer
J Stoer
J Weissinger
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1988
Field of study

A Method for Producing Verified Results for Two-Point Boundary Value Problems

Author: B Ruttmann
DM Cruickshank
EW Kaucher
G Kedem
H Ehlich
J Schröder
J Schröder
K Nickel
MA McCarthy
R Lohner
R Lohner
T Köpper
T Köpper
U Gärtel
UW Kulisch
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1988
Field of study

Inner and Outer Approximating Flowpipes for Delay Differential Equations

Author: A Girard
AB Kurzhanski
AB Kurzhanski
B Xue
B Xue
C Guernic Le
EW Kaucher
G Frehse
L Zou
LF Shampine
M Lerch
NS Nedialkov
O Bouissou
R Testylier
T Dang
T Erneux
T Mézo Le
X Chen
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 18/07/2018
Field of study

International audienc

HAL-Polytechnique

Computer Assisted Proofs of Stability of Matter

Author: C Fefferman
C Fefferman
C Fefferman
C Fefferman
EH Lieb
EH Lieb
EH Lieb
EH Lieb
EH Lieb
EW Kaucher
F Dyson
F Dyson
H Poincare
I Daubechies
I Herbst
J Conlon
J Lebowitz
J-P Eckmann
OE Lanford III
R MacKay
R Weder
RE Moore
T Kato
W Thirring
YF Chang
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1991
Field of study

Accurate Strategies for K.A.M. Bounds and Their Implementation

Author: A Celletti
A Katok
A Olvera
Brolin
CA Liverani
CL Siegel
D Rana
D Salamon
DE Knuth
DeVogelere
Digital Equipment Corporation
E Moore
E Zehnder
E Zehnder
E Zehnder
EW Kaucher
H Poincaré
H Rüssmann
J Dieudonne
J Greene
J Mather
J Moser
J Moser
J Stark
J-B Bost
J-C Yoccoz
J-P Eckmann
K Meyer
L Seco
OE Lanford III
OE Lanford III
R MacKay
RS Hamilton
S Aubry
VI Arnol’d
Y Katznelson
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1991
Field of study

core

core