• AUTOMATA

  • Referenced in 9 articles [sw30137]
  • groups software. This paper provides a description of the algorithms employed by the Warwick AUTOMATA ... finite state automata associated with a short-lex automatic group. The aim is to provide...
  • Esterel

  • Referenced in 163 articles [sw20012]
  • systems, including real-time systems and control automata. The Esterel v5 compiler can be used ... been chosen by the Polis group as one of their input languages for their hardware/software...
  • AutomGrp

  • Referenced in 12 articles [sw07727]
  • methods for computations with groups and semigroups generated by finite automata or given by wreath...
  • MAF

  • Referenced in 4 articles [sw11177]
  • automata. These automata usually represent the structure of a finitely presented group (or monoid ... first computing, and then using, automata able to enumerate group elements up to any desired...
  • PascGalois

  • Referenced in 1 article [sw09374]
  • Cellular automata over group alphabets: undergraduate education and the PascGalois project. The purpose of this ... algebra, number theory, discrete mathematics) and cellular automata. The value of these connections...
  • BOXEL

  • Referenced in 1 article [sw03239]
  • Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, with the Cooperation...
  • CONSTRUCTOR

  • Referenced in 2 articles [sw02532]
  • being developed at the Research Group on Theory of Automata at the Hungarian Academy...
  • Psychohod

  • Referenced in 1 article [sw39243]
  • automata simulates the movement of variously organized groups of agents in the terrain with obstacles ... environment “Psychohod” to simulate the above-mentioned automata. To organize the interaction of motion...
  • CANA

  • Referenced in 2 articles [sw25679]
  • networks. In previous work we demonstrated that automata network models of biochemical regulation are highly ... canalizing, whereby many variable states and their groupings are redundant (Marques-Pita and Rocha...
  • DEQ

  • Referenced in 0 articles [sw34234]
  • register automata, called DEQ, based on a recent polynomial-time algorithm that employs group-theoretic...
  • Time4sys2imi

  • Referenced in 1 article [sw31184]
  • Time4sys is a formalism developed by Thales Group, realizing a graphical specification for real-time ... tool translating Time4sys models into parametric timed automata in the input language of IMITATOR. This...
  • CGAL

  • Referenced in 370 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Cinderella

  • Referenced in 152 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • COMPAS

  • Referenced in 14 articles [sw00147]
  • In this paper we describe COMPAS -- the open...
  • Coq

  • Referenced in 1835 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2974 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gfun

  • Referenced in 138 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

  • Referenced in 274 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Isabelle

  • Referenced in 624 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Magma

  • Referenced in 3052 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...