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

Vdream
 Referenced in 1 article
[sw39203]
 diagrams, Discrete & Computational Geometry,accepted for publication (2017), arXiv:1208.3124 [cs.CG] ([v4], last updated: April...

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

CiteSpace
 Referenced in 8 articles
[sw39808]
 variety of networks derived from scientific publications, including collaboration networks, author cocitation networks ... simple interfaces for obtaining data from PubMed, arXiv, ADS, and NSF Award Abstracts. CiteSpace...

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

ADOLC
 Referenced in 244 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

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

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

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

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

BAT
 Referenced in 7 articles
[sw00067]
 The main goals of a typical data anaysis...

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

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

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

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

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

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

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

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