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

iLM2L
 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 iLM2L 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 highlevel 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 generalpurpose 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 generalpurpose 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...