𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Examples of undecidable problems for 2-generator matrix semigroups

✍ Scribed by Julien Cassaigne; Juhani Karhumäki

Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
383 KB
Volume
204
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algorithmic Problems for Amalgams of Fin
Algorithmic Problems for Amalgams of Finite Semigroups: Volume 229, Number 2 (2000), pages 514–531
✍ Mark V. Sapir 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 127 KB

We prove that there exists an amalgam of two finite 4-nilpotent semigroups such that the corresponding amalgamated product has an undecidable word problem. We also show that the problem of embeddability of finite semigroup amalgams in any semigroups and the problem of embeddability of finite semigro

HIGH-ORDER BEM FORMULATIONS FOR STRONGLY
HIGH-ORDER BEM FORMULATIONS FOR STRONGLY NON-LINEAR PROBLEMS GOVERNED BY QUITE GENERAL NON-LINEAR DIFFERENTIAL OPERATORS. PART 2: SOME 2D EXAMPLES
✍ Shi-Jun Liao 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 141 KB

In this paper the general BEM proposed previously by Liao is applied to solve some 2D strongly non-linear differential equations, even including those whose governing equations and boundary conditions do not contain any linear terms. It is shown that the proposed general BEM is really valid for gene

Polynomial matrix solution of H2 optimal
Polynomial matrix solution of H2 optimal control problem for state-space systems
✍ M. J. Grimble 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 275 KB

## Abstract A polynomial matrix solution to the H~2~ output feedback optimal control problems is obtained for systems represented in state‐equation form. The proof does not invoke the separation principle but is obtained in the __z__‐domain. The cost function includes weighted states, which allows