Results 21 to 30 of about 69,420 (286)
Hammering Floating-Point Arithmetic
, 2023 AbstractSledgehammer, a component of the interactive proof assistant Isabelle/HOL, aims to increase proof automation by automatically discharging proof goals with the help of external provers. Among these provers are a group of satisfiability modulo theories (SMT) solvers with support for the SMT-LIB input language.
Olle Torstensson, Tjark Weber
openaire +2 more sources
FAST ROBUST ARITHMETICS FOR GEOMETRIC ALGORITHMS AND APPLICATIONS TO GIS [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2021 Geometric predicates are used in many GIS algorithms, such as the construction of Delaunay Triangulations for Triangulated Irregular Networks (TIN) or geospatial predicates.
T. Bartels, V. Fisikopoulos
doaj +1 more source
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range [PDF]
, 2008 A so called staggered precision arithmetic is a special kind of a multiple precision arithmetic based on the underlying floating point data format (typically IEEE double format) and fast floating point operations as well as exact dot product ...
Blomquist, Frithjof, Hofschuster, Werner
core +1 more source
Robustness Analysis of Floating-Point Programs by Self-Composition
Journal of Applied Mathematics, 2014 Robustness is a key property for critical systems that run in uncertain environments, to ensure that small input perturbations can cause only small output changes.
Liqian Chen +4 more
doaj +1 more source
High-Performance Computation in Residue Number System Using Floating-Point Arithmetic
Computation, 2021 Residue number system (RNS) is known for its parallel arithmetic and has been used in recent decades in various important applications, from digital signal processing and deep neural networks to cryptography and high-precision computation.
Konstantin Isupov
doaj +1 more source
Radix Conversion for IEEE754-2008 Mixed Radix Floating-Point Arithmetic [PDF]
, 2013 Conversion between binary and decimal floating-point representations is ubiquitous. Floating-point radix conversion means converting both the exponent and the mantissa.
Kupriianova, O. +2 more
core +4 more sources
Maximum network flow with floating point arithmetic [PDF]
Information Processing Letters, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Althaus, E., Mehlhorn, K.
openaire +2 more sources
Interval Arithmetic and Standardization [PDF]
, 2008 Interval arithmetic is arithmetic for continuous sets. Floating-point intervals are intervals of real numbers with floating-point bounds. Operations for intervals can be efficiently implemented.
core +1 more source
Interval Term Rewriting System: Toward A Formal Model for Interval Computation
Trends in Computational and Applied Mathematics, 2006 We present a term rewriting system for interval arithmetic (addition, subtraction and multiplication), toward a mathematical model for interval compu- tation.
A.X. Carvalho, R.H.N. Santiago
doaj +1 more source
Interval Slopes as Numerical Abstract Domain for Floating-Point Variables
, 2010 The design of embedded control systems is mainly done with model-based tools such as Matlab/Simulink. Numerical simulation is the central technique of development and verification of such tools.
A. Chapoutot +29 more
core +3 more sources