scientific article

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

interval analysis floating point arithmetic abstract algebra ordered structures ringoid computer arithmetic vectoid semimorphism

Mathematics Subject Classification ID

Data structures (68P05) Error analysis and interval analysis (65Gxx)

Related Items (87)

Improved validated bounds for Taylor coefficients and for Taylor remainder series ⋮ Certification for polynomial systems via square subsystems ⋮ Componentwise inclusion and exclusion sets for solutions of quadratic equations in finite dimensional spaces ⋮ A fast dot-product algorithm with minimal rounding errors ⋮ A study of interval optimization problems ⋮ Some fuzzy-interval integral inequalities for harmonically convex fuzzy-interval-valued functions ⋮ Interval methods for fixed-point problems ⋮ Hashing lazy numbers ⋮ Implicit matrix multiplication with maximum accuracy on various transputer networks ⋮ A test environment using symbolic program trace ⋮ Bounds for the solution of hyperbolic problems ⋮ Ultra-arithmetic. II: Intervals of polynomials ⋮ Computation of the monodromy matrix in floating point arithmetic with the Wilkinson model ⋮ A circuit for exact summation of floating-point numbers ⋮ A combined method for enclosing all solutions of nonlinear systems of polynomial equations ⋮ Solution of linear systems with verified accuracy ⋮ Verified solution of large systems and global optimization problems ⋮ Simultaneous self-verified computation of exp(A) and \(\int_{0}^{1}\exp (As)ds\) ⋮ Efficient methods for enclosing solutions of systems of nonlinear equations ⋮ A software interface and hardware design for variable-precision interval arithmetic ⋮ A branch-and-bound algorithm for bound constrained optimization problems without derivatives ⋮ Verification methods for fredholm integral equations ⋮ A numerical approach to the proof of existence of solutions for elliptic problems ⋮ Necessary optimality conditions for interval optimization problems with functional and abstract constraints ⋮ Comparison of direct to shooting enclosures for an inverse-monotone boundary value problem with locally steep solution ⋮ New techniques for fast hybrid solutions of systems of equations ⋮ The best interval representations of t-norms and automorphisms ⋮ All possible computed results in correct floating-point summation ⋮ Bounds of high quality for first kind Volterra integral equations ⋮ Variable-precision, interval arithmetic coprocessors ⋮ Mechanising the theory of intervals using OBJ3 ⋮ On Newton-like methods to enclose solutions of nonlinear equations ⋮ Verified computation of Lamé functions with high accuracy ⋮ Guaranteed inclusions for the complex generalized eigenproblem ⋮ Unnamed Item ⋮ A generalized distance based on a generalized triangle inequality ⋮ Verified integration of linear \(n\)th order ODEs using large steps ⋮ Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals ⋮ On the Solution of Parametrised Linear Systems ⋮ Interval probabilities and enclosures ⋮ High accuracy and interval arithmetic on multicore processors ⋮ Interval metrics, topology and continuous functions ⋮ Bivariate product cubature using peano kernels for local error estimates ⋮ New Accurate Expressions in C-XSC ⋮ Fuzzy stochastic dynamic programming for marketing decision support ⋮ Ekeland's variational principle for interval-valued functions ⋮ Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action ⋮ E-methods for fixed point equations f(x)=x ⋮ A programmed algorithm for existence proofs for two-point boundary value problems ⋮ Solving nonlinear systems with least significant bit accuracy ⋮ Solution of finite systems of equations by interval iteration ⋮ Application of interval-valued aggregation to optimization problem of \(k\)-NN classifiers for missing values case ⋮ Least significant bit evaluation of arithmetic expressions in single- precision ⋮ Estimation of the sensitivity of linear and nonlinear algebraic problems ⋮ A geometric approach for computing a posteriori error bounds for the solution of a linear system ⋮ On the solution of interval linear systems ⋮ Dense linear system: A parallel self-verified solver ⋮ Milne type inequality and interval orders ⋮ Loop invariants in floating point algorithms ⋮ Topological foundation of fuzziness ⋮ Multivariate rational data fitting: General data structure, maximal accuracy and object orientation ⋮ Remarks on Verified Inclusions for the Solution of Systems of Linear Equations ⋮ A fuzzy max-flow min-cut theorem. ⋮ Experiments on the evaluation of functional ranges using a random interval arithmetic ⋮ Hardware support for interval arithmetic ⋮ FORTRAN-SC. A study of a FORTRAN extension for engineering/scientific computation with access to ACRITH ⋮ Parameter reconstruction for biochemical networks using interval analysis ⋮ Computing interval enclosures for definite integrals by application of triple adaptive strategies ⋮ An interval extension of homogeneous and pseudo-homogeneous t-norms and t-conorms ⋮ Some integral inequalities for interval-valued functions ⋮ Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations ⋮ Calculation of exact bounds for the solution set of linear interval systems ⋮ Validated solutions of initial value problems for ordinary differential equations ⋮ An enclosure method for the solution of linear odes with polynomial coefficients ⋮ The Impact of Data Distribution in Accuracy and Performance of Parallel Linear Algebra Subroutines ⋮ A self-validating numerical method for the matrix exponential ⋮ Rigorous solution of linear programming problems with uncertain data ⋮ Implementation of universal computer arithmetic with optimal accuracy ⋮ An error controlling Nyström method ⋮ On the monotonicity of the interval versions of Schulz's method. II ⋮ Some integral inequalities for fuzzy-interval-valued functions ⋮ Computing \(z^y\) with maximum accuracy ⋮ Differentiation in PASCAL-SC: type GRADIENT ⋮ Accurate arithmetic results for decimal data on non-decimal computers ⋮ Reliable computation of eigenvalues of the magnetostatic integral operator ⋮ Interval linear systems with symmetric matrices, skew-symmetric matrices and dependencies in the right hand side ⋮ Accurate scalar products and optimization

This page was built for publication: