Computer-assisted proofs in PDE: a survey | SpringerLink Skip to main content Advertisement SpringerLink Log in Menu Find a journal Publish with us Search Cart 1.Home …
Since the creation of the digital computer, numerical computations have played an increasingly fundamental role in modeling physical phenomena for science and …
Discover How Geometric Integrators Preserve the Main Qualitative Properties of Continuous Dynamical Systems A Concise Introduction to Geometric Numerical Integration presents the …
This study shows how to obtain least-squares solutions to initial value problems (IVPs), boundary value problems (BVPs), and multi-value problems (MVPs) for nonhomogeneous …
R Barrio - Applied Mathematics and Computation, 2005 - Elsevier
This paper revisits the use of the Taylor series method for the numerical integration of ODEs and DAEs. The numerical method is implemented using an efficient variable-step variable …
K Hayden, E Olson, ES Titi - Physica D: Nonlinear Phenomena, 2011 - Elsevier
Consider a continuous dynamical system for which partial information about its current state is observed at a sequence of discrete times. Discrete data assimilation inserts these …
A Guillamon, G Huguet - SIAM Journal on Applied Dynamical Systems, 2009 - SIAM
This work arises from the purpose of applying new tools in dynamical systems to time problems in biological systems. The main aim of this paper is to develop a numerical method …
D Izzo - Proceedings of the Fifth International Conference on …, 2012 - esa.int
At the intersection between computer science and astrodynamics lies a fertile ground for improving methodologies and performances of spacecraft trajectory computations. In this …
A Abad, R Barrio, F Blesa, M Rodríguez - ACM Transactions on …, 2012 - dl.acm.org
This article introduces the software package TIDES and revisits the use of the Taylor series method for the numerical integration of ODEs. The package TIDES provides an easy-to-use …