
CutTools
 Referenced in 98 articles
[sw07230]
 program implementing the OPP reduction method to compute oneloop amplitudes. We present a program ... treated as an external input, and can be computed with the help of dedicated tree...

Ellipsoidal Toolbox
 Referenced in 35 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 47 articles
[sw13523]
 answers factual queries directly by computing the answer from externally sourced ”curated data”, rather than...

STXXL
 Referenced in 17 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 170 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...

MATAD
 Referenced in 44 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...

SymPy
 Referenced in 125 articles
[sw00940]
 aims to become a fullfeatured computer algebra system (CAS) while keeping the code ... Python and does not require any external libraries...

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

VMD
 Referenced in 83 articles
[sw18651]
 graphics and builtin 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...

DLVHEX
 Referenced in 8 articles
[sw03032]
 name of a prototype application for computing the models of socalled HEXprograms, which ... AnswerSet Programs towards integration of external computation sources. The source code of dlvhex...

DarkSUSY
 Referenced in 28 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 18 articles
[sw05726]
 dynamically load external libraries written in C, C++, or Fortran. Parallel computations on multivariate polynomials...

JustGarble
 Referenced in 13 articles
[sw23223]
 systems for multiparty computation, oblivious transfers, etc., using external compilers that output circuits...

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

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 subdomain or boundary section ... methods the flow and stresses can be computed along with the temperature or displacement...

Hexlite
 Referenced in 1 article
[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...

Ripser
 Referenced in 28 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...

MathLink
 Referenced in 12 articles
[sw06462]
 will find it convenient to communicate with external programs at a high level ... structured data with them. On almost all computer systems, Mathematica supports the MathLink communication standard ... allows higherlevel communication between Mathematica and external programs. In order to use MathLink...

MadFKS
 Referenced in 20 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 ultravioletfinite contribution ... MadGraph. It is particularly suited to parallel computation, and it can deal with any physical...