@article{RM_2023_78_3_a4,
author = {S. N. Artemov and L. D. Beklemishev and L. Ya. Borkin and A. M. Vershik and E. A. Hirsch and E. Ya. Dantsin and I. A. Ibragimov and E. V. Kalmens and V. Ya. Kreinovich and D. A. Koubenski and A. A. Lodkin and Yu. V. Matiyasevich and B. A. Novikov and V. P. Orevkov and A. L. Semenov and A. O. Slissenko and A. Kh. Shen},
title = {Gregory {Samuilovich} {Tseytin} (obituary)},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {555--561},
year = {2023},
volume = {78},
number = {3},
language = {en},
url = {http://geodesic.mathdoc.fr/item/RM_2023_78_3_a4/}
}
TY - JOUR AU - S. N. Artemov AU - L. D. Beklemishev AU - L. Ya. Borkin AU - A. M. Vershik AU - E. A. Hirsch AU - E. Ya. Dantsin AU - I. A. Ibragimov AU - E. V. Kalmens AU - V. Ya. Kreinovich AU - D. A. Koubenski AU - A. A. Lodkin AU - Yu. V. Matiyasevich AU - B. A. Novikov AU - V. P. Orevkov AU - A. L. Semenov AU - A. O. Slissenko AU - A. Kh. Shen TI - Gregory Samuilovich Tseytin (obituary) JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova PY - 2023 SP - 555 EP - 561 VL - 78 IS - 3 UR - http://geodesic.mathdoc.fr/item/RM_2023_78_3_a4/ LA - en ID - RM_2023_78_3_a4 ER -
%0 Journal Article %A S. N. Artemov %A L. D. Beklemishev %A L. Ya. Borkin %A A. M. Vershik %A E. A. Hirsch %A E. Ya. Dantsin %A I. A. Ibragimov %A E. V. Kalmens %A V. Ya. Kreinovich %A D. A. Koubenski %A A. A. Lodkin %A Yu. V. Matiyasevich %A B. A. Novikov %A V. P. Orevkov %A A. L. Semenov %A A. O. Slissenko %A A. Kh. Shen %T Gregory Samuilovich Tseytin (obituary) %J Trudy Matematicheskogo Instituta imeni V.A. Steklova %D 2023 %P 555-561 %V 78 %N 3 %U http://geodesic.mathdoc.fr/item/RM_2023_78_3_a4/ %G en %F RM_2023_78_3_a4
S. N. Artemov; L. D. Beklemishev; L. Ya. Borkin; A. M. Vershik; E. A. Hirsch; E. Ya. Dantsin; I. A. Ibragimov; E. V. Kalmens; V. Ya. Kreinovich; D. A. Koubenski; A. A. Lodkin; Yu. V. Matiyasevich; B. A. Novikov; V. P. Orevkov; A. L. Semenov; A. O. Slissenko; A. Kh. Shen. Gregory Samuilovich Tseytin (obituary). Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 78 (2023) no. 3, pp. 555-561. http://geodesic.mathdoc.fr/item/RM_2023_78_3_a4/
[1] G. S. Tseytin, “On the problem of recognition of properties of associative calculuses”, Dokl. Akad. Nauk SSSR, 107:2 (1956), 209–212 (Russian) | MR | Zbl
[2] G. S. Tseytin, “Associative calculus with insoluble equivalence problem”, Dokl. Akad. Nauk SSSR, 107:3 (1956), 370–371 (Russian) | MR | Zbl
[3] G. S. Tseitin, “On the complexity of derivation in propositional calculus”, Semin. Math., 8, V. A. Steklov Math. Inst., Leningrad, 1970, 115–125 ; Automation of reasoning, v. 2, Classical papers on computational logic, 1967–1970, Springer-Verlag, Berlin–New York, 1983, 466–483 | MR | Zbl | MR | Zbl
[4] G. S. Tseytin, Studies in constructive analysis (constructive real numbers and pointwise defined functions), D.Sc. thesis, Leningrad State University, Leningrad, 1968 (Russian)
[5] G. S. Tseitin, “Reduced form of normal algorithms and a linear acceleration theorem”, J. Soviet Math., 1:1 (1973), 148–153 | DOI | MR | Zbl
[6] G. S. Tseitin, “Lower estimate of the number of steps for an inverting normal algorithm and other similar algorithms”, J. Soviet Math., 1:1 (1973), 154–168 | DOI | MR | Zbl
[7] G. S. Tseytin (ed.), Algol 68: methods for implementation, Publishing house of Leningrad University, Leningrad, 1976, 224 pp. (Russian)
[8] “From logicism to proceduralism (an autobiographical account)”, Algorithms in modern mathematics and computer science (Urgench 1979), Lecture Notes in Comput. Sci., 122, Springer, Berlin–New York, 1981, 390–396 | DOI | MR | Zbl
[9] G. S. Tseytin, “Is mathematics part of computer science?”, Computer tools in education, 1999, no. СЏ5, 3–7 (Russian)
[10] G. Tseytin, M. Hofmann, M. O'Mahony, and D. Lyons, “Tracing individual public transport customers from an anonymous transaction database”, J. Public Transp., 9:4 (2006), 47–60 | DOI