• R

  • Referenced in 10082 articles [sw00771]
  • R is a language and environment for statistical...
  • Reveal

  • Referenced in 21 articles [sw00801]
  • We describe the Reveal formal functional verification system...
  • SageMath

  • Referenced in 2021 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

  • Referenced in 1509 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • SUNDIALS

  • Referenced in 241 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...
  • VODE

  • Referenced in 207 articles [sw01005]
  • VODE: A variable-coefficient ODE solver. This paper...
  • AUTO

  • Referenced in 943 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • SCIP

  • Referenced in 541 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • PERL

  • Referenced in 270 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • DYNAMO

  • Referenced in 259 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • COBOL

  • Referenced in 237 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...
  • QUADPACK

  • Referenced in 264 articles [sw01236]
  • Fortran subprograms for evaluating definite integrals of functions...
  • PISA

  • Referenced in 63 articles [sw01397]
  • PISA consists of two parts: PISA is a...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • WordNet

  • Referenced in 408 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • GOLOG

  • Referenced in 173 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • MPTP 0.2

  • Referenced in 50 articles [sw02589]
  • MPTP 0.2: Design, implementation, and initial experiments. This...