Interval arithmetic: from principles to implementation
From MaRDI portal
Recommendations
Cited in
(93)- Interval propagation and search on directed acyclic graphs for numerical constraint solving
- Efficient and reliable methods for rounded-interval arithmetic.
- Interval arithmetic on multimedia architectures
- Certificates of infeasibility via nonsmooth optimization
- Is an interval the right result of arithmetic operations on intervals?
- Subsethood measures for interval-valued fuzzy sets based on the aggregation of interval fuzzy implications
- Blending set and interval arithmetic for maximal reliability
- Interval arithmetic in cylindrical algebraic decomposition
- An informal introduction to a high level language with applications to interval mathematics
- Mechanising the theory of intervals using OBJ3
- Interval operations involving NaNs
- Only intervals preserve the invertibility of arithmetic operations
- A generalized active subspace for dimension reduction in mixed aleatory-epistemic uncertainty quantification
- Volumetric parameterization with truncated hierarchical B-splines for isogeometric analysis
- Introducing interval differential dynamic logic
- Computer-assisted verification of four interval arithmetic operators
- Fault detection of uncertain chemical processes using interval partial least squares-based generalized likelihood ratio test
- On interval fuzzy S-implications
- Extension of MULTIMOORA method with interval numbers: an application in materials selection
- Computing the noncentral-F distribution and the power of the F-test with guaranteed accuracy
- On computer-assisted proving the existence of periodic and bounded orbits
- Intrinsic compiler support for interval arithmetic
- On interval additive generators of interval overlap functions and interval grouping functions
- An analysis of arithmetic constraints on integer intervals
- Hardware support for interval arithmetic
- Grundlagen einer Maschinenintervallarithmetik
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Exact real arithmetic using centred intervals and bounded error terms
- Design of high-gain observers based on sampled measurements via the interval arithmetic
- scientific article; zbMATH DE number 1694748 (Why is no real title available?)
- scientific article; zbMATH DE number 1694751 (Why is no real title available?)
- The Forthcoming IEEE Standard 1788 for Interval Arithmetic
- raSAT: An SMT Solver for Polynomial Constraints
- Interval arithmetic and its implementations
- Implementing local intervals in CASL
- scientific article; zbMATH DE number 5899418 (Why is no real title available?)
- scientific article; zbMATH DE number 434853 (Why is no real title available?)
- Principal Component Analysis for Non-Precise Data
- Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers
- Interval Additive Generators of Interval T-Norms
- Constraint propagation as information maximization
- A Significance Rule for Multiple-Precision Arithmetic
- scientific article; zbMATH DE number 3940621 (Why is no real title available?)
- scientific article; zbMATH DE number 4088842 (Why is no real title available?)
- Canonical representation of the Yager's classes of fuzzy implications
- Some continuity notions for interval functions and representation
- Interval-valued fuzzy coimplications and related dual interval-valued conjugate functions
- Specification of hardware for interval arithmetic
- Interval additive generators of interval t-norms and interval t-conorms
- scientific article; zbMATH DE number 1059305 (Why is no real title available?)
- Discovering invariants via simple component analysis
- Algorithm 763: INTERVAL_ARITHMETIC
- SCAN 2000 keynote address the future of intervals
- Subdivision strategies for boxes in branch-and-bound nonlinear solvers and verification
- scientific article; zbMATH DE number 804655 (Why is no real title available?)
- scientific article; zbMATH DE number 804854 (Why is no real title available?)
- scientific article; zbMATH DE number 852338 (Why is no real title available?)
- scientific article; zbMATH DE number 869750 (Why is no real title available?)
- Branch and bound for piecewise linear neural network verification
- \(K\)-operators: an approach to the generation of interval-valued fuzzy implications from fuzzy implications and vice versa
- Introduction to the IEEE 1788-2015 standard for interval arithmetic
- Participatory learning fuzzy clustering for interval-valued data
- Accurate evaluation of arithmetic expressions (invited talk)
- An iterative model predictive control algorithm for constrained nonlinear systems
- Mathematics and speed for interval arithmetic: a complement to IEEE 1788
- Interval computation as deduction in chip
- Interval Arithmetic Using SSE-2
- Numerical Software with Result Verification
- How do you compute the midpoint of an interval?
- Standardized interval arithmetic and interval arithmetic used in libraries
- Interval arithmetic yields efficient dynamic filters for computational geometry
- A computer-assisted proof of dynamo growth in the stretch-fold-shear map
- Methodology for integrated multicriteria decision-making with uncertainty: extending the compromise ranking method for uncertain evaluation of alternatives
- Testing interval arithmetic libraries, including their IEEE-1788 compliance
- A rigorous deterministic global optimization approach for the derivation of secondary information in digital maps
- The exact dot product as basic tool for long interval arithmetic
- Extended interval Newton method based on the precise quotient set
- Dynamic interval analysis by abstract interpretation
- Interval incremental learning of interval data streams and application to vehicle tracking
- Transforming optimization problems into disciplined convex programming form
- Reasoning in OWL 2 EL with hierarchical concrete domains
- Timed initial-state detectability of discrete-event systems by algebraic method
- Interval arithmetic over finitely many endpoints
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
- Generalized Poincaré-Lyapunov method and its application in Z₂-equivariant cubic switching systems with two nilpotent points
- The design of the Boost interval arithmetic library
- Type-1 OWA operators for aggregating uncertain information with uncertain weights induced by type-2 linguistic quantifiers
- Interval arithmetic with containment sets
- The best interval representations of t-norms and automorphisms
- Computation of exact inertia and inclusions of eigenvalues (singular values) of tridiagonal (bidiagonal) matrices
- Clustering reduced interval data using Hausdorff distance
- A reinforcement learning approach to interval constraint propagation
- On interval fuzzy negations
This page was built for publication: Interval arithmetic: from principles to implementation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3196626)
