
JFLAP
 Referenced in 12 articles
[sw10334]
 automata, nondeterministic pushdown automata, multitape 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...

EMaLeS
 Referenced in 9 articles
[sw15190]
 MaLeS is a metasystem that uses machine learning and strategy scheduling to optimize ... divisions of CASCJ6 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 Turingcomplete, higherorder probabilistic language descended from...

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

iLM2L
 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 275 articles
[sw00060]
 ACL2 is both a programming language in which...

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

GAP
 Referenced in 2735 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 5756 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11649 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

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

R
 Referenced in 7785 articles
[sw00771]
 R is a language and environment for statistical...

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