• CutTools

  • Referenced in 102 articles [sw07230]
  • program implementing the OPP reduction method to compute one-loop amplitudes. We present a program ... treated as an external input, and can be computed with the help of dedicated tree...
  • Ellipsoidal Toolbox

  • Referenced in 38 articles [sw10826]
  • hyperplanes of arbitrary dimensions. It computes the external and internal ellipsoidal approximations of geometric (Minkowski ... given subspaces. Ellipsoidal methods are used to compute forward and backward reach sets of continuous...
  • WolframAlpha

  • Referenced in 53 articles [sw13523]
  • answers factual queries directly by computing the answer from externally sourced ”curated data”, rather than...
  • STXXL

  • Referenced in 18 articles [sw06824]
  • standard template library STL for external memory computations. It supports parallel disks, overlapping between ... computation and is the first external memory algorithm library that supports the pipelining technique that ... following applications: implementations of external memory algorithms for computing minimum spanning trees, connected components, breadth...
  • DOLFIN

  • Referenced in 201 articles [sw04313]
  • FEniCS, including data structures and algorithms for computational meshes and finite element assembly. To provide ... functionality of other FEniCS components and external software, and handles the communication between these components...
  • SymPy

  • Referenced in 161 articles [sw00940]
  • aims to become a full-featured computer algebra system (CAS) while keeping the code ... Python and does not require any external libraries...
  • MATAD

  • Referenced in 46 articles [sw00550]
  • package MATAD which is designed for the computation of MAssive TADpoles ... integrals which have no external momentum. MATAD can analytically compute those one-, two-, and three...
  • VMD

  • Referenced in 90 articles [sw18651]
  • graphics and built-in scripting. VMD supports computers running MacOS X, Unix, or Windows ... external MD program by displaying and animating a molecule undergoing simulation on a remote computer...
  • TAXYS

  • Referenced in 21 articles [sw01389]
  • correctness of the results of computations but also on the times at which these results ... extremely sensitive both to the patterns of external events stimulating the system ... composed of the embedded computer and its external environment. For this purpose...
  • DLVHEX

  • Referenced in 8 articles [sw03032]
  • name of a prototype application for computing the models of so-called HEX-programs, which ... Answer-Set Programs towards integration of external computation sources. The source code of dlvhex...
  • DarkSUSY

  • Referenced in 29 articles [sw09107]
  • particles can be computed within DarkSUSY or with the help of external programs such ... identify viable dark matter candidates. DarkSUSY also computes a large variety of astrophysical signals from...
  • TeXmacs

  • Referenced in 14 articles [sw05355]
  • interface to many external systems for computer algebra, numerical analysis, and statistics. New presentation styles...
  • TRIP

  • Referenced in 19 articles [sw05726]
  • dynamically load external libraries written in C, C++, or Fortran. Parallel computations on multivariate polynomials...
  • JustGarble

  • Referenced in 14 articles [sw23223]
  • systems for multi-party computation, oblivious transfers, etc., using external compilers that output circuits...
  • Hexlite

  • Referenced in 2 articles [sw33598]
  • integrates answer set programming (ASP) with external computations. The main goal of Hexlite is efficiency ... fragment which permits to partition external computations into two kinds: those that can be evaluated ... suitable for evaluating this fragment with external computations that are realized in Python. Most performance...
  • BLOPEX

  • Referenced in 27 articles [sw04024]
  • computations. BLOPEX is incorporated in the HYPRE package and is available as an external block...
  • Ripser

  • Referenced in 39 articles [sw27771]
  • Ripser’s capabilities, go to live.ripser.org. The computation happens inside the browser (using PNaCl ... coefficients in prime finite fields; no external dependencies (optional support for Google’s sparsehash...
  • Modulef

  • Referenced in 39 articles [sw01072]
  • finite element methods, but also in serious computations in research laboratories. >From the web site ... dimensional meshes. Specification of material characteristics or external forces by sub-domain or boundary section ... methods the flow and stresses can be computed along with the temperature or displacement...
  • MadFKS

  • Referenced in 22 articles [sw10256]
  • Frixione, Kunszt, and Signer for the computation of any cross section at the next ... process, the only ingredient to be provided externally is the infrared- and ultraviolet-finite contribution ... MadGraph. It is particularly suited to parallel computation, and it can deal with any physical...
  • ape

  • Referenced in 62 articles [sw04569]
  • character analyses, analyses of diversification and macroevolution, computing distances from allelic and nucleotide data, reading ... corresponding triangle method). Some functions call external applications (PhyML, Clustal, T-Coffee, Muscle) whose results...