
OEIS
 Referenced in 3387 articles
[sw07248]
 file of medical records is in the correct order. (Perhaps you are a computer scientist...

Isabelle/HOL
 Referenced in 945 articles
[sw01569]
 particular formal verification, which includes proving the correctness of computer hardware or software and proving...

Isabelle
 Referenced in 606 articles
[sw00454]
 particular formal verification, which includes proving the correctness of computer hardware or software and proving...

SIFT
 Referenced in 605 articles
[sw16554]
 sense that a single feature can be correctly matched with high probability against a large...

Kronos
 Referenced in 261 articles
[sw01270]
 difficult to design and analyze, but whose correct behavior must be ensured because failures ... able to formally prove their correctness with respect to the desired requirements. In KRONOS, components ... modeled by timed automata and the correctness requirements are expressed in the realtime temporal...

TETRAD
 Referenced in 386 articles
[sw12177]
 guaranteed to converge almost certainly to correct information about the true structure in the large...

SHASTA
 Referenced in 224 articles
[sw18281]
 Fluxcorrected transport. I. SHASTA, a fluid transport algorithm that works. This paper describes ... built around a technique called “flux correction.” These fluxcorrected transport algorithms are of indeterminate...

Wesseling
 Referenced in 314 articles
[sw09677]
 smoothing methods, and nested iteration, and defect correction. Cell centered and vertex centered discretization...

DDEBIFTOOL
 Referenced in 304 articles
[sw02396]
 solutions is achieved through computing approximations and corrections to the rightmost characteristic roots. Periodic solutions...

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

NQTHM
 Referenced in 149 articles
[sw07543]
 described completely in their “Metafunctions: proving them correct and using them efficiently as new proof ... procedures” [in “The correctness problem in computer science” (1981; Zbl 0476.68009)] and “The addition...

UNITY
 Referenced in 184 articles
[sw13461]
 provides a means to independently verify the correctness of the transition systems: one can specify...

RCV1
 Referenced in 109 articles
[sw07279]
 hierarchical category taxonomies, and the corrections necessary to remove errorful data. We refer ... original data as RCV1v1, and the corrected data as RCV1v2. We benchmark several ... category experimental results, as well as corrected versions of the category assignments and taxonomy structures...

AXIOM
 Referenced in 170 articles
[sw00063]
 algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language...

ETPS
 Referenced in 153 articles
[sw06302]
 gives them immediate feedback for both correct and incorrect actions. ETPS permits students to work...

SLAM
 Referenced in 151 articles
[sw03136]
 interfaces and software that ensure reliable and correct functioning. Static Driver Verifier is a tool...

TetGen
 Referenced in 151 articles
[sw04046]
 based algorithms which have theoretical guarantee of correctness. It can robustly handle arbitrary complex...

SLIC
 Referenced in 139 articles
[sw18282]
 relatively easy to advance the fluid surfaces correctly in time. With the SLIC fluidsurface...

SIMPLIFY
 Referenced in 137 articles
[sw04976]
 such as testing. Since the cost of correcting an error is reduced...

CPnets
 Referenced in 133 articles
[sw01374]
 analysis is carried out to prove its correctness...