Results 1 to 20 of 4004
Sort by:

  • SHERPA
  • Referenced in 37 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...

  • ADOL-C
  • Referenced in 239 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...

  • AMBRE
  • Referenced in 28 articles [sw00038]
  • AMBRE - a Mathematica package for the construction of...

  • AMD
  • Referenced in 54 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 316 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 360 articles [sw00118]
  • The goal of the CGAL Open Source Project...

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

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

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

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

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

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