• SHERPA

  • Referenced in 35 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 5 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...
  • ACL2

  • Referenced in 246 articles [sw00060]
  • ACL2 is both a programming language in which...
  • CGAL

  • Referenced in 290 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1418 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Cuba

  • Referenced in 45 articles [sw00173]
  • Cuba -- a library for multidimensional numerical integration. The...
  • C-XSC

  • Referenced in 103 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • Dafny

  • Referenced in 47 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • DCUHRE

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

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

  • Referenced in 2336 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GEANT4

  • Referenced in 29 articles [sw00328]
  • Differential elastic hadron-nucleus cross-sections are discussed...
  • gfun

  • Referenced in 115 articles [sw00344]
  • The gfun package provides tools for determining and...
  • GGobi

  • Referenced in 40 articles [sw00345]
  • GGobi is an open source visualization program for...
  • gmp

  • Referenced in 227 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Gmsh

  • Referenced in 353 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • HOM4PS

  • Referenced in 61 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • Hypexp

  • Referenced in 45 articles [sw00425]
  • HypExp 2, Expanding hypergeometric functions about half-integer...