scientific article; zbMATH DE number 1408651
From MaRDI portal
Publication:4941400
zbMath0948.65047MaRDI QIDQ4941400
Jorge Stolfi, Luiz Henrique de Figueiredo
Publication date: 1 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
monographerror boundsinterval arithmeticresult verificationray tracinglevel setsaffine arithmeticsurface intersectionzeros of functionsglobal optimizations
Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to numerical analysis (65-01)
Related Items (23)
An improved algorithm for the control synthesis of nonlinear sampled switched systems ⋮ Rigorous roundoff error analysis of probabilistic floating-point computations ⋮ First steps towards more numerical reproducibility ⋮ Algorithm for min-range multiplication of affine forms ⋮ Existence test for solution of nonlinear systems applying affine arithmetic ⋮ Interval-type and affine arithmetic-type techniques for handling uncertainty in expert systems ⋮ Affine Arithmetic and Applications to Real-Number Proving ⋮ A new method for computing a \(p\)-solution to parametric interval linear systems with affine-linear and nonlinear dependencies ⋮ A new algorithm for Chebyshev minimum-error multiplication of reduced affine forms ⋮ A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure ⋮ Mathematical imaging and surface processing. Abstracts from the workshop held August 21--27, 2022 ⋮ Efficient importance sampling in low dimensions using affine arithmetic ⋮ About tracing problems in dynamic geometry ⋮ Strong regularity of parametric interval matrices ⋮ Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis ⋮ A reliable affine relaxation method for global optimization ⋮ The use of affine arithmetic for thermal state estimation of substation distribution transformers ⋮ Computing the spectral decomposition of interval matrices and a study on interval matrix powers ⋮ A general reliable quadratic form: An extension of affine arithmetic ⋮ Linear interval parametric approach to testing pseudoconvexity ⋮ Enhancing numerical constraint propagation using multiple inclusion representations ⋮ Interval-affine Gaussian algorthm for constrained systems ⋮ Empirical investigation of the convergence speed of inclusion functions in a global otimization context
This page was built for publication:
