• JFLAP

  • Referenced in 12 articles [sw10334]
  • automata, nondeterministic pushdown automata, multi-tape Turing machines, several types of grammars, parsing...
  • Forms/3

  • Referenced in 4 articles [sw30474]
  • generality, we also present an animated Turing machine simulator programmed using these features. Throughout...
  • RAM+BOOL

  • Referenced in 1 article [sw11158]
  • polynomial number of steps by a Turing machine (the class...
  • Quin

  • Referenced in 1 article [sw22639]
  • computation as running on a Turing Machine, but the protocol can be adapted to other...
  • MLJ

  • Referenced in 3 articles [sw31525]
  • machine learning framework for Julia aiming to provide a convenient way to use and combine ... licensed and sponsored by the Alan Turing Institute...
  • E-MaLeS

  • Referenced in 9 articles [sw15190]
  • MaLeS is a meta-system that uses machine learning and strategy scheduling to optimize ... divisions of CASC-J6 and CASC$@$Turing...
  • Venture

  • Referenced in 8 articles [sw14670]
  • inference. We describe Venture, an interactive virtual machine for probabilistic programming that aims ... problems in Venture are specified via a Turing-complete, higher-order probabilistic language descended from...
  • MAGMA-Lisp

  • Referenced in 4 articles [sw28716]
  • MAGMA-Lisp: a ”Machine language” for artificial intelligence. The paper describes MAGMA-Lisp, an extended ... environments (contex tree) is the supporting struc ture of any nondeterministic system. MAGMA-Lisp proposes ... Lisp is to be viewed as a ”machine language”. The ideas of MAGMA-Lisp...
  • iLM-2L

  • Referenced in 2 articles [sw16853]
  • pairs feature coding scheme and support vector machine algorithm. The 1st level is to identify ... recall of 80.83%, an Absolute$_-$Ture of 73.89% and a Hamming$_-$loss...
  • ACL2

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

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

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

  • Referenced in 29 articles [sw00326]
  • We present GCLC/WinGCLC -- a tool for visualizing geometrical...
  • Mathematica

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

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

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

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

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