scientific article; zbMATH DE number 3766957

Cited in

(98)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3948528)