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