
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 22 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 27 articles
[sw00038]
 AMBRE  a Mathematica package for the construction of...

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

BARON
 Referenced in 307 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

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

Cadabra
 Referenced in 80 articles
[sw00097]
 Cadabra is a powerful computer program for the...

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

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

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

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

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

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

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

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

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

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

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