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