𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Railway interlocking systems and Gröbner bases

✍ Scribed by Eugenio Roanes-Lozano; Eugenio Roanes-Macías; Luis M. Laita


Book ID
108453834
Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
66 KB
Volume
51
Category
Article
ISSN
0378-4754

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Multiplicative Bases, Gröbner Bases, and
✍ Edward L. Green 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 314 KB

In this paper, we study conditions on algebras with multiplicative bases so that there is a Gröbner basis theory. We introduce right Gröbner bases for a class of modules. We give an elimination theory and intersection theory for right submodules of projective modules in path algebras. Solutions to h

Gröbner bases
✍ Arnab Chakraborty 📂 Article 📅 2000 🏛 Indian Academy of Sciences 🌐 English ⚖ 920 KB
Counting and Gröbner Bases
✍ K. Kalorkoti 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 239 KB

We show how the complexity of counting relates to the well known phenomenon that computing Gröbner bases under a lexicographic order is generally harder than total degree orders. We give simple examples of polynomials for which it is very easy to compute their Gröbner basis using a total degree orde

Regular Gröbner Bases
✍ Jonas MÅnsson; Patrik Nordbeck 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 366 KB

In this paper we introduce the concept of bi-automaton algebras, generalizing the automaton algebras previously defined by Ufnarovski. A bi-automaton algebra is a quotient of the free algebra, defined by a binomial ideal admitting a Gröbner basis which can be encoded as a regular set; we call such a