• Qhull

  • Referenced in 200 articles [sw04419]
  • element of b).Qhull accounts for round-off error. It returns ”thick” facets defined...
  • FEASPUMP

  • Referenced in 78 articles [sw04802]
  • viewed as a clever way to round a sequence of fractional solutions ... study the effect of replacing the original rounding function (which is fast and simple ... somehow blind) with more clever rounding heuristics. In particular, we investigate ... diving-like procedure based on rounding and constraint propagation-a basic tool in Constraint Programming...
  • MPFR

  • Referenced in 112 articles [sw03312]
  • multiple-precision floating-point computations with correct rounding. MPFR has continuously been supported...
  • DEVEX

  • Referenced in 94 articles [sw08378]
  • consequent effect of this column selection on rounding error is observed. By allowing that...
  • CVRPSP

  • Referenced in 80 articles [sw13447]
  • Publications). The package contains separation routines for rounded capacity inequalities, homogeneous multistar inequalities, generalized multistar...
  • CADNA

  • Referenced in 30 articles [sw00098]
  • CADNA: a library for estimating round-off error propagation. The CADNA library enables ... estimate round-off error propagation using a probabilistic approach. With CADNA the numerical quality ... CADNA provides new numerical types on which round-off errors can be estimated. Slight modifications ... interpret the information it provides concerning round-off error propagation in a code...
  • RealPaver

  • Referenced in 44 articles [sw04401]
  • with certainty. Solving methods: Realpaver implements correctly rounded interval-based computations in a branch...
  • ACRITH-XSC

  • Referenced in 42 articles [sw00015]
  • data conversion and arithmetic operators with rounding control, interval and complex interval arithmetic, accurate vector/matrix...
  • PRINCE

  • Referenced in 26 articles [sw13240]
  • innovative design choices. The number of rounds must be moderate and rounds must have short ... iterative with very similar round functions disappears, an observation that increases the design space...
  • HAVAL

  • Referenced in 41 articles [sw02156]
  • allows users to specify the number of rounds (3, 4, or 5) to be used...
  • na10

  • Referenced in 38 articles [sw11511]
  • stop condition, based on a rigorous backward rounding error analysis, guarantees that the computed approximations...
  • Outward rotations

  • Referenced in 35 articles [sw08660]
  • Outward rotations: a tool for rounding solutions of semidefinite programming relaxations, with applications...
  • ChaCha

  • Referenced in 14 articles [sw07098]
  • stream cipher based on the 8-round cipher Salsa20/8. The changes from Salsa20/8 to ChaCha8 ... designed to improve diffusion per round, conjecturally increasing resistance to cryptanalysis, while preserving—and often ... improving—time per round. ChaCha12 and ChaCha20 are analogous modifications of the 12-round ... round ciphers Salsa20/12 and Salsa20/20. This paper presents the ChaCha family and explains the differences...
  • HSolver

  • Referenced in 26 articles [sw07419]
  • correctness does not depend on floating point rounding errors. It can handle non-linear ordinary...
  • Keccak

  • Referenced in 26 articles [sw09834]
  • consists of the iteration of a simple round function, similar to a block cipher without...
  • SMOTEBoost

  • Referenced in 18 articles [sw12571]
  • minority class, SMOTE is introduced at each round of boosting. Introduction of SMOTE increases ... cases in the distribution at each boosting round. In addition to maximizing the margin...
  • LED

  • Referenced in 25 articles [sw18983]
  • first architecture, we propose a round-based implementation while the second is a fully serialized...
  • na5

  • Referenced in 24 articles [sw11489]
  • scalar product is close to zero, then rounding errors can seriously affect the algorithm...
  • CVRPSEP

  • Referenced in 24 articles [sw11809]
  • Publications). The package contains separation routines for rounded capacity inequalities, homogeneous multistar inequalities, generalized multistar...
  • Algorithm 693

  • Referenced in 22 articles [sw08017]
  • elementary functions. Results are almost always correctly rounded, and due to improved algorithms used...