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

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