Taylor forms -- use and limits.
From MaRDI portal
Publication:1869608
DOI10.1023/A:1023061927787zbMath1071.65070MaRDI QIDQ1869608
Publication date: 28 April 2003
Published in: Reliable Computing (Search for Journal in Brave)
Related Items (34)
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP ⋮ Computing expensive multivariate functions of fuzzy numbers using sparse grids ⋮ Validated solutions of initial value problems for parametric ODEs ⋮ Interval-type and affine arithmetic-type techniques for handling uncertainty in expert systems ⋮ Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations ⋮ Solving interval constraints by linearization in computer-aided design ⋮ Linear systems with large uncertainties, with applications to truss structures ⋮ Convergence analysis of Taylor models and McCormick-Taylor models ⋮ Chebyshev model arithmetic for factorable functions ⋮ Probability bounds analysis for nonlinear population ecology models ⋮ Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration ⋮ About tracing problems in dynamic geometry ⋮ Efficient and accurate computation of upper bounds of approximation errors ⋮ Rigorous uniform approximation of D-finite functions using Chebyshev expansions ⋮ Polynomial function intervals for floating-point software verification ⋮ Global optimization in Hilbert space ⋮ Convergence-order analysis for differential-inequalities-based bounds and relaxations of the solutions of ODEs ⋮ Quantum computing as a particular case of computing with tensors ⋮ Verified Solution of Nonlinear Dynamic Models in Epidemiology ⋮ SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems ⋮ Using zonotopes for overestimation-free interval least-squares -- some geodetic applications ⋮ Interval observer design for consistency checks of nonlinear continuous-time systems ⋮ Robust plotting of polar algebraic curves, space algebraic curves, and offsets of planar algebraic curves ⋮ Effective bounds for P-recursive sequences ⋮ Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions ⋮ The cluster problem revisited ⋮ A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method ⋮ On the Kolmogorov Complexity of Continuous Real Functions ⋮ Computer-assisted proofs in PDE: a survey ⋮ Towards fast and accurate algorithms for processing fuzzy data: interval computations revisited ⋮ Empirical investigation of the convergence speed of inclusion functions in a global otimization context ⋮ Formalization of Bernstein polynomials and applications to global optimization ⋮ Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs ⋮ Interval analysis on directed acyclic graphs for global optimization
This page was built for publication: Taylor forms -- use and limits.
