Question: Did Russian mathematician Yuri Manin or Efim Zelmanov win the Fields Medal of International Congress of Mathematicians in 1994?

full_context: Document 1: Yuri Matiyasevich: Yuri Vladimirovich Matiyasevich, (Russian: Ю́рий Влади́мирович Матиясе́вич ; born March 2, 1947, in Leningrad) is a Russian mathematician and computer scientist. He is best known for his negative solution of Hilbert's tenth problem (Matiyasevich's theorem), which was presented in his doctoral thesis at LOMI (the Leningrad Department of the Steklov Institute of Mathematics).
Document 2: John von Neumann: John von Neumann ( ; Hungarian: "Neumann János Lajos" , ] ; December 28, 1903 – February 8, 1957) was a Hungarian-American mathematician, physicist, and computer scientist. He made major contributions to a number of fields, including mathematics (foundations of mathematics, functional analysis, ergodic theory, representation theory, operator algebras, geometry, topology, and numerical analysis), physics (quantum mechanics, hydrodynamics, and quantum statistical mechanics), economics (game theory), computing (Von Neumann architecture, linear programming, self-replicating machines, stochastic computing), and statistics.
Document 3: Efim Zelmanov: Efim Isaakovich Zelmanov (Russian: Ефи́м Исаа́кович Зе́льманов ; born 7 September 1955 in Khabarovsk) is a Russian-American mathematician, known for his work on combinatorial problems in nonassociative algebra and group theory, including his solution of the restricted Burnside problem. He was awarded a Fields Medal at the International Congress of Mathematicians in Zürich in 1994.
Document 4: Leonid Levin: Leonid Anatolievich Levin ( ; Russian: Леони́д Анато́льевич Ле́вин ; Ukrainian: Леоні́д Анато́лійович Ле́він ; born November 2, 1948) is a Soviet-American computer scientist.
Document 5: Nicolai Reshetikhin: Nicolai Yuryevich Reshetikhin (Russian: Николай Юрьевич Решетихин , born October 10, 1958 in Leningrad, Soviet Union) is a mathematical physicist, currently a professor of mathematics at the University of California, Berkeley and a professor of mathematical physics at the University of Amsterdam. His research is in the fields of low-dimensional topology, representation theory, and quantum groups. His major contributions are in the theory of quantum integrable systems, in representation theory of quantum groups
Document 6: Fields Medal: The Fields Medal is a prize awarded to two, three, or four mathematicians under 40 years of age at the International Congress of the International Mathematical Union (IMU), a meeting that takes place every four years.
Document 7: Yuri Manin: Yuri Ivanovitch Manin (Russian: Ю́рий Ива́нович Ма́нин ; born 1937) is a Soviet/Russian/German mathematician, known for work in algebraic geometry and diophantine geometry, and many expository works ranging from mathematical logic to theoretical physics. Moreover, Manin was one of the first to propose the idea of a quantum computer in 1980 with his book "Computable and Uncomputable".
Document 8: Israel Gelfand: Israel Moiseevich Gelfand, also written Israïl Moyseyovich Gel'fand, or Izrail M. Gelfand (Yiddish: ישראל געלפֿאַנד‎ , Russian: Изра́иль Моисе́евич Гельфа́нд ; 2 September [O.S. 20 August] 1913 – 5 October 2009) was a prominent Soviet mathematician. He made significant contributions to many branches of mathematics, including group theory, representation theory and functional analysis. The recipient of many awards, including the Order of Lenin and the Wolf Prize, he was a Fellow of the Royal Society and professor at Moscow State University and, after immigrating to the United States shortly before his 76th birthday, at Rutgers University.
Document 9: Manin obstruction: In mathematics, in the field of arithmetic algebraic geometry, the Manin obstruction (named after Yuri Manin) is attached to a variety "X" over a global field, which measures the failure of the Hasse principle for "X". If the value of the obstruction is non-trivial, then "X" may have points over all local fields but not over the global field.
Document 10: Maxim Kontsevich: Maxim Lvovich Kontsevich (Russian: Макси́м Льво́вич Конце́вич ;   ; born 25 August 1964) is a Russian and French mathematician. He is a professor at the Institut des Hautes Études Scientifiques and a distinguished professor at the University of Miami. He received the Henri Poincaré Prize in 1997, the Fields Medal in 1998, the Crafoord Prize in 2008, the Shaw Prize and Fundamental Physics Prize in 2012, and the Breakthrough Prize in Mathematics in 2014.
Document 11: Vladimir Voevodsky: Vladimir Alexandrovich Voevodsky ( ; Russian: Влади́мир Алекса́ндрович Воево́дский , 4 June 1966 - 30 September 2017) was a Russian mathematician. His work in developing a homotopy theory for algebraic varieties and formulating motivic cohomology led to the award of a Fields Medal in 2002. He is also known for the proof of the Milnor conjecture and motivic Bloch-Kato conjectures and for the univalent foundations of mathematics and homotopy type theory.
Document 12: Alan Turing: Alan Mathison Turing ( ; 23 June 1912 – 7 June 1954) was an English computer scientist, mathematician, logician, cryptanalyst, philosopher and theoretical biologist.
Document 13: Mikhail Leonidovich Gromov: Mikhail Leonidovich Gromov (also Mikhael Gromov, Michael Gromov or Mischa Gromov; Russian: Михаи́л Леони́дович Гро́мов ; born 23 December 1943), is a French-Russian mathematician known for work in geometry, analysis and group theory. He is a permanent member of IHÉS in France and a Professor of Mathematics at New York University.
Document 14: Manin matrix: In mathematics, Manin matrices, named after Yuri Manin who introduced them around 1987–88, are a class of matrices with elements in a not-necessarily commutative ring, which in a certain sense behave like matrices whose elements commute. In particular there is natural definition of the determinant for them and most linear algebra theorems like Cramer's rule, Cayley–Hamilton theorem, etc. hold true for them. Any matrix with commuting elements is a Manin matrix. These matrices have applications in representation theory in particular to Capelli's identity, Yangian and quantum integrable systems.
Document 15: Grigory Margulis: Gregori Aleksandrovich Margulis (Russian: Григо́рий Алекса́ндрович Маргу́лис , first name often given as Gregory, Grigori or Grigory; born February 24, 1946) is a Russian-American mathematician known for his work on lattices in Lie groups, and the introduction of methods from ergodic theory into diophantine approximation. He was awarded a Fields Medal in 1978 and a Wolf Prize in Mathematics in 2005, becoming the seventh mathematician to receive both prizes. In 1991, he joined the faculty of Yale University, where he is currently the Erastus L. De Forest Professor of Mathematics.
ground_truth: Efim Isaakovich Zelmanov