Geodesic
Gregory Samuilovich Tseytin (obituary)
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 78 (2023) no. 3, pp. 555-561 
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/
@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

Voir la notice de l'article provenant de la source Math-Net.Ru

[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