Computation and application of Taylor polynomials with interval remainder bounds
From MaRDI portal
Publication:1383759
DOI10.1023/A:1009958918582zbMath0897.65005OpenAlexW143062967MaRDI QIDQ1383759
Martin Berz, Georg Hoffstätter
Publication date: 5 October 1998
Published in: Reliable Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1009958918582
Related Items
EAGO.jl: easy advanced global optimization in Julia ⋮ Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs ⋮ Empirical convergence speed of inclusion functions for facility location problems ⋮ Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations ⋮ Solving a huff-like competitive location and design model for profit maximization in the plane ⋮ Solving interval constraints by linearization in computer-aided design ⋮ Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations ⋮ Convergence analysis of Taylor models and McCormick-Taylor models ⋮ On interval predictor-corrector methods ⋮ Chebyshev model arithmetic for factorable functions ⋮ Interval methods of Adams-Bashforth type with variable step sizes ⋮ Interval versions of Milne's multistep methods ⋮ Robust data-driven predictive control of unknown nonlinear systems using reachability analysis ⋮ Adaptive parameter tuning for reachability analysis of nonlinear systems ⋮ Interval versions for special kinds of explicit linear multistep methods ⋮ Global optimization for the sum of generalized polynomial fractional functions ⋮ Quantum computing as a particular case of computing with tensors ⋮ TMsim: an algorithmic tool for the parametric and worst-case simulation of systems with uncertainties ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ Global optimization for the generalized polynomial sum of ratios problem ⋮ Interval approach to robust design ⋮ Robust plotting of polar algebraic curves, space algebraic curves, and offsets of planar algebraic curves ⋮ Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities ⋮ Adaptive reachability algorithms for nonlinear systems using abstraction error analysis ⋮ An improved interval global optimization algorithm using higher-order inclusion function forms ⋮ Empirical investigation of the convergence speed of inclusion functions in a global otimization context
Uses Software
