
SHERPA
 Referenced in 38 articles
[sw09541]
 authors refer the reader to the original publication: T. Gleisberg and S. Hoche ... with Sherpa 1.1, JHEP 02 (2009) 007 [arXiv...

positroids
 Referenced in 18 articles
[sw25868]
 this rich correspondence, we have prepared a public Mathematica package called ”positroids” which includes ... this note’s submission files on the arXiv...

fulltext
 Referenced in 0 articles
[sw16085]
 Central’, Public Library of Science, ’Pubmed Central’, ’eLife’, ’F1000Research’, ’PeerJ’, ’Pensoft’, ’Hindawi’, ’arXiv’ ’preprints...

AMBRE
 Referenced in 26 articles
[sw00038]
 AMBRE  a Mathematica package for the construction of...

ACL2
 Referenced in 262 articles
[sw00060]
 ACL2 is both a programming language in which...

BOKASUN
 Referenced in 5 articles
[sw00084]
 BOKASUN: a fast and precise numerical program to...

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

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

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

Cuba
 Referenced in 50 articles
[sw00173]
 Cuba  a library for multidimensional numerical integration. The...

CXSC
 Referenced in 104 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

Dafny
 Referenced in 59 articles
[sw00183]
 Dafny is an imperative objectbased language with...

DCUHRE
 Referenced in 21 articles
[sw00190]
 Algorithm 698: DCUHRE: an adaptive multidemensional integration routine...

Expokit
 Referenced in 156 articles
[sw00258]
 Expokit provides a set of routines aimed at...

Fermat
 Referenced in 36 articles
[sw00277]
 Fermat is a computer algebra system (CAS) for...

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

GEANT4
 Referenced in 36 articles
[sw00328]
 Differential elastic hadronnucleus crosssections are discussed...

Gerris
 Referenced in 235 articles
[sw00341]
 Gerris is a Free Software program for the...

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