Gennady Makanin | |
|---|---|
 Gennady Semenovich Makanin | |
| Born | Gennady Semenovich Makanin May 19, 1938 |
| Died | 2017 |
| Nationality | Russian |
| Alma mater | Moscow State University |
| Known for | Makanin's algorithm (1977)[1][2] Makanin-Razborov algorithm[3][4] Makanin-Razborov diagrams[5] |
| Scientific career | |
| Fields | mathematics |
| Institutions | Steklov Institute of Mathematics |
Gennady (or Gennadii or Gennadiy) Semenovich Makanin (1938–2017) was a Russian mathematician, awarded the 2010 I. M. Vinogradov Prize for a series of papers on the problem of algorithmically recognizing the solvability of arbitrary equations in free groups and semigroups.
- ^ Diekert, Volker (1998). "Makanin's algorithm for solving word equations with regular constraints". elib, University of Stuttgart. doi:10.18419/opus-2419.
- ^ Gutiérrez, Claudio (1998). "Solving equations in strings: On Makanin's algorithm". In: Lucchesi C.L., Moura A.V. (eds.) LATIN '98: Theoretical Informatics (3rd Latin American Symposium — Campinals, Brazil, April 20–24, 1998 Proceedings). Lecture Notes in Computer Science, vol. 1380. Vol. 1380. Berlin; Heidelberg: Springer. pp. 358–373. doi:10.1007/BFb0054336. ISBN 978-3-540-64275-6. ISSN 0302-9743.
- ^ G. S. Makanin Equations in a free group. (Russian), Izvestia Akademii Nauk SSSR, Seriya Matematischeskaya, vol. 46 (1982), no. 6, pp. 1199–1273
- ^ A. A. Razborov. Systems of equations in a free group. (in Russian) Izvestia Akademii Nauk SSSR, Seriya Matematischeskaya, vol. 48 (1984), no. 4, pp. 779–832.
- ^ Sela, Z. (2016). "Word equations I: Pairs and their Makanin-Razborov diagrams". arXiv:1607.05431 [math.GR].