
MAGMALisp
 Referenced in 4 articles
[sw28716]
 conceptually indipendent computation environments (contex tree) is the supporting struc ture of any nondeterministic system...

TURING
 Referenced in 1 article
[sw28035]
 TURING: algorithms for computation with finite dynamical systems. A crowdsourced platform for algorithms...

Quin
 Referenced in 1 article
[sw22639]
 protocol, we model the computation as running on a Turing Machine, but the protocol...

CRN++
 Referenced in 2 articles
[sw33637]
 representation of computation using molecular components. While previous work established the Turingcompleteness of chemical ... deterministic (massaction) chemical kinetics to perform computation. We present its syntax and semantics...

RAM+BOOL
 Referenced in 1 article
[sw11158]
 computability in a polynomial number of steps by a Turing machine (the class...

Theseus
 Referenced in 8 articles
[sw19037]
 Theseus: a high level language for reversible computing. Programming in a reversible language remains “dierent ... function definitions by pattern matching, and is Turing complete. The language is strongly typed...

PLaSM
 Referenced in 5 articles
[sw14191]
 PLaSM: functional language for computing with geometry. The design language PLaSM is a geometryoriented ... language, on the line of the Backus’ Turing lecture [Backus78] introduces an algebra over programs...

CADbots
 Referenced in 3 articles
[sw37076]
 significant amounts of data, nor perform complex computations, and is limited to a handful ... storage device, similar to a higherdimensional Turing machine with geometric properties. Specific results include...

Amp_solving
 Referenced in 1 article
[sw10848]
 multiplescale expansion. ... A semiautomated MSE computer algorithm Amp_solving is presented for deriving ... system is in the vicinity of a Turing codimension1 and a TuringHopf codimension...

PPDB
 Referenced in 2 articles
[sw33749]
 million paraphrase patterns, which cap ture many meaningpreserving syntactic trans formations. The paraphrases ... variety of monolingual distributional similar ity scores computed from the Google ngrams...

iLM2L
 Referenced in 2 articles
[sw16853]
 sites. However, the prediction accuracy of existing computational methods is still unsatisfactory. Moreover, they ... recall of 80.83%, an Absolute$_$Ture of 73.89% and a Hamming$_$loss...

ACL2
 Referenced in 283 articles
[sw00060]
 ACL2 is both a programming language in which...

CASA
 Referenced in 105 articles
[sw00108]
 CASA is a specialpurpose system for computational...

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

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

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

IRKC
 Referenced in 20 articles
[sw00452]
 The Fortran 90 code IRKC is intended for...

Maple
 Referenced in 5363 articles
[sw00545]
 The result of over 30 years of cutting...

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

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