• 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 co-citation 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...
  • ADOL-C

  • Referenced in 244 articles [sw00019]
  • ADOL-C: 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 state-of-the-art 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...
  • C-XSC

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