The following pages link to Taylor forms -- use and limits. (Q1869608):
Displaying 38 items.
- Convergence analysis of Taylor models and McCormick-Taylor models (Q367158) (← links)
- Polynomial function intervals for floating-point software verification (Q457251) (← links)
- Efficient and accurate computation of upper bounds of approximation errors (Q633637) (← links)
- Convergence-order analysis for differential-inequalities-based bounds and relaxations of the solutions of ODEs (Q670661) (← links)
- The cluster problem revisited (Q742132) (← links)
- Interval analysis on directed acyclic graphs for global optimization (Q816066) (← links)
- Interval-type and affine arithmetic-type techniques for handling uncertainty in expert systems (Q861916) (← links)
- Solving interval constraints by linearization in computer-aided design (Q868685) (← links)
- Linear systems with large uncertainties, with applications to truss structures (Q868690) (← links)
- Probability bounds analysis for nonlinear population ecology models (Q899221) (← links)
- Interval observer design for consistency checks of nonlinear continuous-time systems (Q987611) (← links)
- Effective bounds for P-recursive sequences (Q992808) (← links)
- Interval Taylor forms (Q1092612) (← links)
- Higher order convergence for multidimensional functions with a new Taylor-Bernstein form as inclusion function (Q1398045) (← links)
- Chebyshev model arithmetic for factorable functions (Q1675562) (← links)
- Global optimization in Hilbert space (Q1717227) (← links)
- About tracing problems in dynamic geometry (Q1943666) (← links)
- Quantum computing as a particular case of computing with tensors (Q1979850) (← links)
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method (Q2051589) (← links)
- Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
- Formalization of Bernstein polynomials and applications to global optimization (Q2351165) (← links)
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs (Q2351531) (← links)
- Computing expensive multivariate functions of fuzzy numbers using sparse grids (Q2386236) (← links)
- Using zonotopes for overestimation-free interval least-squares -- some geodetic applications (Q2484035) (← links)
- Robust plotting of polar algebraic curves, space algebraic curves, and offsets of planar algebraic curves (Q2503176) (← links)
- Empirical investigation of the convergence speed of inclusion functions in a global otimization context (Q2572918) (← links)
- Validated solutions of initial value problems for parametric ODEs (Q2643834) (← links)
- Towards fast and accurate algorithms for processing fuzzy data: interval computations revisited (Q2845286) (← links)
- Verified Solution Method for Population Epidemiology Models with Uncertainty (Q2930567) (← links)
- Rigorous uniform approximation of D-finite functions using Chebyshev expansions (Q2967967) (← links)
- Verified Solution of Nonlinear Dynamic Models in Epidemiology (Q3006992) (← links)
- On the Kolmogorov Complexity of Continuous Real Functions (Q3091443) (← links)
- Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations (Q3195246) (← links)
- SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems (Q3564542) (← links)
- Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration (Q4600003) (← links)
- Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (Q5206960) (← links)
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP (Q5302762) (← links)
- Efficient and validated numerical evaluation of abelian integrals (Q6604153) (← links)
