
Anya
 Referenced in 2 articles
[sw31694]
 pair of points on a grid map such that the path is not artificially constrained ... searching over sets of states represented as intervals. Each interval is identified...

Algorithm 1020
 Referenced in 1 article
[sw41905]
 spaces, which may differ from interval to interval, and possibly of different dimensions. These ... construction relies on an extraction operator that maps local Tchebycheffian Bernstein functions to the MDTB...

SAM
 Referenced in 2 articles
[sw04882]
 precision, for instance in the MPFI library. Interval arithmetic provides guaranteed results ... chaotic systems modeled by the logistic map...

Cistrome Data Browser
 Referenced in 0 articles
[sw41949]
 ATACseq chromatin profiling assays, which map the genomewide locations of transcription factor binding ... chromatin accessibility in any given genomic interval shorter than 2Mb. Third, the Toolkit can determine...

ADOLC
 Referenced in 257 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

AIFS
 Referenced in 14 articles
[sw00023]
 A considerable class of fractal sets can be...

Apron
 Referenced in 71 articles
[sw00045]
 Apron: a library of numerical abstract domains for...

ATLAS
 Referenced in 199 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

CGAL
 Referenced in 402 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Cinderella
 Referenced in 153 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 206 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

CXSC 2.0
 Referenced in 127 articles
[sw00182]
 A C++ class library for extended scientific computing...

FIAT
 Referenced in 44 articles
[sw00287]
 Algorithm 839: FIAT, a new paradigm for computing...

FLGrCCA
 Referenced in 4 articles
[sw00296]
 Defining a relation between granules and computing ever...

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gfun
 Referenced in 144 articles
[sw00344]
 The gfun package provides tools for determining and...

Gmat
 Referenced in 3 articles
[sw00362]
 Gmat. A software tool for the computation of...