• MAGMA-Lisp

  • 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 crowd-sourced 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 Turing-completeness of chemical ... deterministic (mass-action) 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 geometry-oriented ... 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 higher-dimensional Turing machine with geometric properties. Specific results include...
  • Amp_solving

  • Referenced in 1 article [sw10848]
  • multiple-scale expansion. ... A semi-automated MSE computer algorithm Amp_solving is presented for deriving ... system is in the vicinity of a Turing codimension-1 and a Turing-Hopf codimension...
  • PPDB

  • Referenced in 2 articles [sw33749]
  • million paraphrase patterns, which cap- ture many meaning-preserving syntactic trans- formations. The paraphrases ... variety of monolingual distributional similar- ity scores computed from the Google n-grams...
  • iLM-2L

  • 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 special-purpose 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...