• LANGAGE

  • Referenced in 38 articles [sw00501]
  • language given by its minimal automaton is piecewise testable, locally testable, strictly locally testable ... Maple packages for processing automata and finite semigroups...
  • TESTAS

  • Referenced in 19 articles [sw00957]
  • given by its minimal automaton or by its syntactic semigroup is locally testable, right...
  • AUTOMATE

  • Referenced in 12 articles [sw00059]
  • computing package for automata and finite semigroups. AUTOMATE is a package written in the programming ... calculate the deterministic non-complete minimal automaton of a rational language and the transition monoid...
  • Automata

  • Referenced in 2 articles [sw19148]
  • manipulates finites state machines and their syntactic semigroups. A number of operations on one-dimensional ... power automaton construction, minimization using Hopcroft’s algorithm, generation of syntactic semigroups with D-class...
  • LANGAGEA

  • Referenced in 1 article [sw15338]
  • language given by its minimal automaton is piecewise testable, locally testable, strictly locally testable ... Maple packages for processing automata and finite semigroups...
  • GAP

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

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

  • Referenced in 5199 articles [sw00545]
  • The result of over 30 years of cutting...
  • MATCONT

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

  • Referenced in 6090 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12640 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • SageMath

  • Referenced in 1743 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • GAIO

  • Referenced in 92 articles [sw04306]
  • GAIO is a software package for the global...
  • OEIS

  • Referenced in 3856 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • automata

  • Referenced in 14 articles [sw07632]
  • The Automata package, as its name suggests, is...
  • AutomGrp

  • Referenced in 12 articles [sw07727]
  • AutomGrp–GAP package for computations in self-similar...
  • Python

  • Referenced in 1697 articles [sw14460]
  • Python is a widely used high-level, general...
  • FR

  • Referenced in 12 articles [sw14544]
  • GAP package FR. Computations with functionally recursive groups...
  • AG

  • Referenced in 4 articles [sw15652]
  • AG: A set of Maple packages for manipulating...