The following pages link to (Q4463457):
Displaying 18 items.
- Optimization of the forcing term for the solution of two-point boundary value problems (Q355817) (← links)
- Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations (Q361909) (← links)
- Uncertainty propagation or box propagation (Q409963) (← links)
- Status of the differential transformation method (Q449462) (← links)
- Breaking the limits: The Taylor series method (Q548357) (← links)
- Rigorous and accurate enclosure of invariant manifolds on surfaces (Q618187) (← links)
- New enclosure algorithms for the verified solutions of nonlinear Volterra integral equations (Q636538) (← links)
- Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization (Q642356) (← links)
- Rigorous parameter reconstruction for differential equations with noisy data (Q999062) (← links)
- A dimensionality reduction method for computing reachable tubes based on piecewise pseudo-time dependent Hamilton-Jacobi equation (Q2101978) (← links)
- Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue (Q2110162) (← links)
- Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming (Q2165452) (← links)
- Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
- Rigorous Global Optimization for Collision Risk Assessment on Perturbed Orbits (Q3133914) (← links)
- First steps towards more numerical reproducibility (Q3465860) (← links)
- Robust Fault Detection with a Distributed and Decentralized State-Set Observer (Q5054230) (← links)
- Verified propagation of imprecise probabilities in non-linear ODEs (Q6570278) (← links)
- Efficient and validated numerical evaluation of abelian integrals (Q6604153) (← links)
