• 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]
• ATAC-seq chromatin profiling assays, which map the genome-wide locations of transcription factor binding ... chromatin accessibility in any given genomic interval shorter than 2Mb. Third, the Toolkit can determine...

• ADOL-C

• Referenced in 257 articles [sw00019]
• ADOL-C: 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...

• C-XSC 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...

• FL-GrCCA

• 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...

• Global Optimization Toolbox For Maple

• Referenced in 152 articles [sw00358]
• Optimization is the science of finding solutions that...

• Gmat

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