The following pages link to (Q4941400):
Displaying 26 items.
- A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure (Q411447) (← links)
- A reliable affine relaxation method for global optimization (Q496103) (← links)
- Rigorous roundoff error analysis of probabilistic floating-point computations (Q832297) (← links)
- Existence test for solution of nonlinear systems applying affine arithmetic (Q861890) (← links)
- Interval-type and affine arithmetic-type techniques for handling uncertainty in expert systems (Q861916) (← links)
- Enhancing numerical constraint propagation using multiple inclusion representations (Q1039582) (← links)
- An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
- A new method for computing a \(p\)-solution to parametric interval linear systems with affine-linear and nonlinear dependencies (Q1689318) (← links)
- A new algorithm for Chebyshev minimum-error multiplication of reduced affine forms (Q1689460) (← links)
- Efficient importance sampling in low dimensions using affine arithmetic (Q1695502) (← links)
- About tracing problems in dynamic geometry (Q1943666) (← links)
- Linear interval parametric approach to testing pseudoconvexity (Q2022238) (← links)
- Computing the spectral decomposition of interval matrices and a study on interval matrix powers (Q2242816) (← links)
- Affine arithmetic: concepts and applications (Q2387756) (← links)
- Algorithm for min-range multiplication of affine forms (Q2391826) (← links)
- A general reliable quadratic form: An extension of affine arithmetic (Q2494411) (← links)
- Interval-affine Gaussian algorthm for constrained systems (Q2568638) (← links)
- Empirical investigation of the convergence speed of inclusion functions in a global otimization context (Q2572918) (← links)
- Affine Arithmetic and Applications to Real-Number Proving (Q2945641) (← links)
- First steps towards more numerical reproducibility (Q3465860) (← links)
- Strong regularity of parametric interval matrices (Q4603781) (← links)
- Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis (Q5240156) (← links)
- Mathematics of Surfaces (Q5305915) (← links)
- The use of affine arithmetic for thermal state estimation of substation distribution transformers (Q5707875) (← links)
- Mathematical imaging and surface processing. Abstracts from the workshop held August 21--27, 2022 (Q6133174) (← links)
- Robustness verification of support vector machines (Q6536292) (← links)
