
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...

CADbots
 Referenced in 2 articles
[sw37076]
 device, similar to a higherdimensional Turing machine with geometric properties. Specific results include time...

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 10 articles
[sw15190]
 MaLeS is a metasystem that uses machine learning and strategy scheduling to optimize ... divisions of CASCJ6 and CASC$@$Turing...

Venture
 Referenced in 9 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...

Turing
 Referenced in 1 article
[sw36553]
 Julia library for generalpurpose probabilistic programming. Turing allows the user to write models using ... machine learning, Bayesian statistics, and data science. Compared to other probabilistic programming languages, Turing...

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

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

GAP
 Referenced in 2948 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GCLC
 Referenced in 30 articles
[sw00326]
 We present GCLC/WinGCLC  a tool for visualizing geometrical...

Mathematica
 Referenced in 6041 articles
[sw00554]
 Almost any workflow involves computing results, and that...

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

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

PHCpack
 Referenced in 220 articles
[sw00705]
 Algorithm 795: PHCpack: A generalpurpose solver for...