• JFLAP

  • Referenced in 12 articles [sw10334]
  • finite automata, nondeterministic pushdown automata, multi-tape Turing machines, several types of grammars, parsing ... systems. In addition to constructing and testing examples for these, JFLAP allows one to experiment...
  • NaLIR

  • Referenced in 0 articles [sw23488]
  • from being able to pass the Turing test, is perfectly usable in practice, and able...
  • iLM-2L

  • Referenced in 2 articles [sw16853]
  • recall of 80.83%, an Absolute$_-$Ture of 73.89% and a Hamming$_-$loss ... level in jackknife test. As illustrated by independent test, the performance of iLM-2L outperforms...
  • ACL2

  • Referenced in 279 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Coq

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

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

  • Referenced in 376 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

  • Referenced in 5957 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12309 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PARI/GP

  • Referenced in 595 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...
  • PHCpack

  • Referenced in 216 articles [sw00705]
  • Algorithm 795: PHCpack: A general-purpose solver for...
  • R

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

  • Referenced in 113 articles [sw00808]
  • RKC: An explicit solver for parabolic PDEs. An...
  • CONTENT

  • Referenced in 36 articles [sw01058]
  • Bifurcations of maps in the software package CONTENT...
  • AUTO

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

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • FreeFem++

  • Referenced in 1063 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...
  • LOTOS

  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • SLAM

  • Referenced in 152 articles [sw03136]
  • SLAM is a project for checking that software...