scientific article

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

periodic solutions numerical examples interval analysis automatic differentiation nonlinear eigenvalue problem interval arithmetic lubrication theory bifurcation points Picard iteration three body problem global error multiple shooting wrapping effect Van der Pol's equation continuous enclosure forced nonlinear pendulum equation nonlinear Mathieu's equation stepwise Taylor expansion Troesch's boundary value problem

Mathematics Subject Classification ID

Nonlinear boundary value problems for ordinary differential equations (34B15) Nonlinear ordinary differential equations and systems (34A34) Interval and finite arithmetic (65G30) Numerical methods for initial value problems involving ordinary differential equations (65L05) Numerical solution of boundary value problems involving ordinary differential equations (65L10) Software, source code, etc. for problems pertaining to ordinary differential equations (34-04)

Related Items (34)

On a class of enclosure methods for initial value problems ⋮ Enclosing solutions of an inverse Sturm-Liouville problem with finite data ⋮ Unnamed Item ⋮ Prädiktor‐Korrektor‐Verfahren mit Lösungseinschließung ⋮ Temporal Logic Verification for Delay Differential Equations ⋮ Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? ⋮ Validated solutions of initial value problems for parametric ODEs ⋮ An Existence and Inclusion Method for Two‐Point Boundary Value Problems with Turning Points ⋮ Interval modeling of dynamics for multibody systems ⋮ Comparison of direct to shooting enclosures for an inverse-monotone boundary value problem with locally steep solution ⋮ Verified integration of linear \(n\)th order ODEs using large steps ⋮ An Existence and Inclusion Method for Two‐Point Boundary Value Problems with Turning Points ⋮ On a new algorithm for the computation of enclosures for the Titchmarsh-Weyl \(m\)-function ⋮ Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems ⋮ Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration ⋮ A programmed algorithm for existence proofs for two-point boundary value problems ⋮ Computer-assisted existence proofs for two-point boundary value problems ⋮ SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems ⋮ A verified method for solving piecewise smooth initial value problems ⋮ Interval schemes for singularly perturbed initial value problems ⋮ On the semi-convergence of interval matrices ⋮ Newton's method and FFT trading ⋮ Challenges in Constraint-Based Analysis of Hybrid Systems ⋮ Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration ⋮ Rigorous parameter reconstruction for differential equations with noisy data ⋮ Abstract Interpretation of the Physical Inputs of Embedded Programs ⋮ Enclosing Chebyshev Expansions in Linear Time ⋮ Validated solutions of initial value problems for ordinary differential equations ⋮ Rigorously computed orbits of dynamical systems without the wrapping effect ⋮ On a computer assisted proof of the existence of eigenvalues below the essential spectrum of the Sturm-Liouville problem ⋮ Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof ⋮ Interval analysis: Theory and applications ⋮ Implicit Methods for Enclosing Solutions of ODEs ⋮ Free and forced vibrations of trusses by Fourier decomposition, and homotopy methods for nonlinear matrix eigenvalue problems. I: Methods

This page was built for publication: