scientific article
From MaRDI portal
Publication:3125536
zbMath0867.68062MaRDI QIDQ3125536
Publication date: 11 May 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Differential algebra (12H05) Differential algebra (13N99)
Related Items (19)
Efficient polyhedral enclosures for the reachable set of nonlinear control systems ⋮ A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions ⋮ An application of Taylor models to the Nakao method on ODEs ⋮ Validated solutions of initial value problems for parametric ODEs ⋮ Deterministic global optimization in ab-initio quantum chemistry ⋮ Solving interval constraints by linearization in computer-aided design ⋮ Verified Solution Method for Population Epidemiology Models with Uncertainty ⋮ Convergence analysis of Taylor models and McCormick-Taylor models ⋮ Verified High-Order Integration of DAEs and Higher-Order ODEs ⋮ Chebyshev model arithmetic for factorable functions ⋮ Rigorous and accurate enclosure of invariant manifolds on surfaces ⋮ Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering ⋮ Probability bounds analysis for nonlinear population ecology models ⋮ Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds ⋮ Verified Solution of Nonlinear Dynamic Models in Epidemiology ⋮ TMsim: an algorithmic tool for the parametric and worst-case simulation of systems with uncertainties ⋮ Newton's method and FFT trading ⋮ The vectorization expressions of Taylor series multipole-BEM for 3D elasticity problems ⋮ Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue
Uses Software
This page was built for publication:
