
Qhull
 Referenced in 244 articles
[sw04419]
 element of b).Qhull accounts for roundoff error. It returns ”thick” facets defined...

FEASPUMP
 Referenced in 105 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 ... divinglike procedure based on rounding and constraint propagationa basic tool in Constraint Programming...

MPFR
 Referenced in 151 articles
[sw03312]
 multipleprecision floatingpoint computations with correct rounding. MPFR has continuously been supported...

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

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

PRINCE
 Referenced in 45 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...

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

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

Square
 Referenced in 51 articles
[sw26286]
 forced us to augment the number of rounds. The goal of this paper...

Serpent
 Referenced in 36 articles
[sw21989]
 that Rijndael is faster (having fewer rounds) but Serpent is more secure. We designed Serpent ... cryptanalysis. We also used twice as many rounds as are sufficient to block all currently...

RealPaver
 Referenced in 50 articles
[sw04401]
 with certainty. Solving methods: Realpaver implements correctly rounded intervalbased computations in a branch...

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

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

na10
 Referenced in 42 articles
[sw11511]
 stop condition, based on a rigorous backward rounding error analysis, guarantees that the computed approximations...

ChaCha
 Referenced in 22 articles
[sw07098]
 stream cipher based on the 8round 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 12round ... round ciphers Salsa20/12 and Salsa20/20. This paper presents the ChaCha family and explains the differences...

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

LED
 Referenced in 39 articles
[sw18983]
 first architecture, we propose a roundbased implementation while the second is a fully serialized...

HSolver
 Referenced in 38 articles
[sw07419]
 correctness does not depend on floating point rounding errors. It can handle nonlinear ordinary...

CVRPSEP
 Referenced in 32 articles
[sw11809]
 Publications). The package contains separation routines for rounded capacity inequalities, homogeneous multistar inequalities, generalized multistar...

MISTY
 Referenced in 22 articles
[sw24162]
 block and a variable number of rounds. MISTY is a generic name for MISTY1 ... software implementation shows that MISTY1 with eight rounds can encrypt a data stream...