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

AMD
 Referenced in 52 articles
[sw00039]
 Algorithm 837: AMD is a set of routines...

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

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

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

BPMPD
 Referenced in 40 articles
[sw00088]
 BPMPD is a stateoftheart implementation...

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

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

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

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

Cuba
 Referenced in 56 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 64 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 173 articles
[sw00258]
 Expokit provides a set of routines aimed at...

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