
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 shortlex automatic group. The aim is to provide...

Esterel
 Referenced in 163 articles
[sw20012]
 systems, including realtime 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 abovementioned 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 (MarquesPita and Rocha...

DEQ
 Referenced in 0 articles
[sw34234]
 register automata, called DEQ, based on a recent polynomialtime algorithm that employs grouptheoretic...

Time4sys2imi
 Referenced in 1 article
[sw31184]
 Time4sys is a formalism developed by Thales Group, realizing a graphical specification for realtime ... 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...