-
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 311 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 8 articles
[sw00084]
- BOKASUN: a fast and precise numerical program to...
-
BPMPD
- Referenced in 40 articles
[sw00088]
- BPMPD is a state-of-the-art implementation...
-
Cadabra
- Referenced in 80 articles
[sw00097]
- Cadabra is a powerful computer program for the...
-
CGAL
- Referenced in 355 articles
[sw00118]
- The goal of the CGAL Open Source Project...
-
CoCoA
- Referenced in 621 articles
[sw00143]
- CoCoA is a system for Computations in Commutative...
-
Coq
- Referenced in 1784 articles
[sw00161]
- Coq is a formal proof management system. It...
-
Cuba
- Referenced in 57 articles
[sw00173]
- Cuba -- a library for multidimensional numerical integration. The...
-
C-XSC
- Referenced in 107 articles
[sw00181]
- C-XSC. A programming environment for verified scientific...
-
Dafny
- Referenced in 64 articles
[sw00183]
- Dafny is an imperative object-based 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...