- (1939–2014). More
researchers joined in
subsequent years,
including V. P.
Orevkov [1], A. O. Slissenko, and Yu. V. Matiyasevich.
During this period, there...
- Poland. He
collaborated with
Nikolai Shanin, S.Maslov, G.Mints and V.
Orevkov on
automatic theorem proving, with D.Beauquier, Dima Grigoriev, D.Burago...
- réelles, d'après C.
Viterbo ,
Bourbaki Séminaire 872, 1999/2000 with S. Yu.
Orevkov and E. I. Shustin: "Singularity
which has no M-smoothing" in The Arnoldfest:...
- Yakovlev, 1965 V. I. Derguzov, 1965 A. S. Blagoveshchenskii, 1966 V. P.
Orevkov, 1967 V. V. Zhuk, 1968 Yu. V. Matiyasevich, 1970 S. A. Vinogradov, 1971...
