Aleksandr Aleksandrovich Razborov (Russian: Алекса́ндр Алекса́ндрович Разбо́ров; born February 16, 1963), sometimes known as Sasha Razborov, is a Soviet and Russian...
10 KB (716 words) - 22:13, 6 May 2024
in the Carnegie Mellon School of Computer Science. In 1994, he and Alexander Razborov proved that a large class of combinatorial arguments, dubbed natural...
5 KB (397 words) - 17:16, 11 May 2022
1977 1994, 2011 Peter Shor United States S 1977 1998 1999 Alexander Razborov Soviet Union G 1979 1990 2007 Subhash Khot India S 1995...
33 KB (421 words) - 12:56, 26 July 2024
P vs. NP problem. The notion of natural proofs was introduced by Alexander Razborov and Steven Rudich in their article "Natural Proofs", first presented...
6 KB (761 words) - 18:39, 4 May 2023
Secretive Life of the International Mathematics Union". Alexander Soifer. 2017-07-01. Soifer, Alexander (2015). The Scholar and the State: In Search of Van...
11 KB (619 words) - 08:29, 27 July 2024
them to semidefinite programming problems. Originally introduced by Alexander Razborov in a 2007 paper, the method has since come to solve numerous difficult...
20 KB (3,883 words) - 05:00, 14 June 2024
SIAM Journal on Computing. 4 (4): 431–442. doi:10.1137/0204037. Razborov, Alexander A.; Steven Rudich (1997). "Natural proofs". Journal of Computer and...
63 KB (7,812 words) - 08:29, 26 July 2024
the Lévy–Prokhorov metric and Prokhorov's theorem in probability Alexander Razborov, mathematician and computational theorist who won the Nevanlinna Prize...
95 KB (9,627 words) - 18:36, 6 July 2024
National Academy of Sciences (PNAS) 108(6) pp. 2196–2199. 2013 : Alexander Razborov for his paper "On the minimal density of triangles in graphs”, Combinatorics...
4 KB (478 words) - 02:12, 26 January 2024
160 (2): 781–793, doi:10.4007/annals.2004.160.781, ISSN 0003-486X Razborov, Alexander A.; Rudich, Steven (1997), "Natural proofs", Journal of Computer...
30 KB (2,156 words) - 11:47, 2 July 2024
Raskhodnikova Steen Rasmussen Michel Raynaud Dijen K. Ray-Chaudhuri Alexander Razborov Ronald C. Read László Rédei Raymond Redheffer Bruce Reed Irving S...
60 KB (5,755 words) - 10:20, 14 July 2024
e.g. Christos H. Papadimitriou (2012), Johan Hastad (2011, 1994), Alexander Razborov (2007), Noga Alon (2005), László Lovász (2001), Moshe Vardi (2000)...
7 KB (739 words) - 00:13, 16 November 2022
First order theories The Twenty-First Annual Gödel Lecture 2010 Alexander Razborov, Complexity of propositional proofs The Twentieth Annual Gödel Lecture...
18 KB (1,159 words) - 15:52, 13 July 2024
Macintyre 1999 Patrick Suppes 2000 Alexander Razborov 2001 Ronald Jensen 2002 Boris Zilber 2003 Ralph McKenzie 2004 Alexander S. Kechris 2005 Zlil Sela 2006...
4 KB (355 words) - 00:49, 9 June 2023
the Lévy–Prokhorov metric and Prokhorov's theorem in probability Alexander Razborov, mathematician and computational theorist who won the Nevanlinna Prize...
17 KB (1,662 words) - 04:41, 10 June 2024
Pyotr Novikov. He worked at Moscow State University (MSU) since 1965. Alexander Razborov was one of his students. In his first work as a student in 1950, Adian...
6 KB (879 words) - 14:51, 22 April 2024
Dickson Instructor in Mathematics and the college; Fields Medal winner Alexander Razborov – Andrew MacLeish Distinguished Service Professor in the Department...
39 KB (4,752 words) - 12:16, 4 June 2024
Helena Rasiowa (Alternate Assessor 1971–1975; Assessor 1975–1979) Alexander Razborov (Assessor 2000–2003) Michael Redhead (Assessor 1995–1999) Qiu Renzong...
18 KB (1,683 words) - 05:22, 6 April 2024
monotone Boolean logic circuits and arbitrary circuits. A result of Alexander Razborov, previously used to show that the clique number required exponentially...
4 KB (449 words) - 19:27, 13 November 2021
first mainframe computer manufactured serially in the Soviet Union Alexander Razborov, won the Nevanlinna Prize for introducing the "approximation method"...
8 KB (724 words) - 02:00, 28 February 2024
Ramirez-Ruiz Guthrie P. Ramsey, Jr. Thomas A. Rando Claudia Rankine Alexander Razborov Jennifer A. Richeson Cristina M. Rodríguez Charles M. Roessel Peter...
23 KB (2,126 words) - 17:17, 27 February 2024
Richard Shore, Reverse Mathematics: the Playground of Logic. 2010 Alexander Razborov, Complexity of Propositional Proofs. 2011 Anand Pillay, First order...
5 KB (586 words) - 11:46, 2 July 2024
Computer Science. The first lecture series took place in 1998. 1998: Alexander Razborov (Steklov Institute, Russia), Jeff Kahn (Rutgers University, U.S.)...
2 KB (236 words) - 10:20, 14 July 2024
Woodin, W. Hugh (2005), "The continuum hypothesis", in Cori, Rene; Razborov, Alexander; Todorčević, Stevo; et al. (eds.), Logic Colloquium 2000, Lect. Notes...
6 KB (722 words) - 13:38, 28 March 2023
circuits (PDF), Ph.D. thesis, Massachusetts Institute of Technology. Razborov, Alexander A. (1993), "An equivalence between second order bounded domain bounded...
6 KB (865 words) - 18:37, 29 July 2024
"Statistical Testing Techniques for Pseudorandom generation". Razborov, Alexander; Rudich, Steven (August 1997). "Natural Proofs". Journal of Computer...
14 KB (1,871 words) - 15:53, 5 February 2024
132 (2): 520–529. doi:10.1016/0022-247X(88)90080-7. MR 0943525. Razborov, Alexander A.; Rudich, Steven (1997). "Natural proofs". Journal of Computer...
6 KB (868 words) - 03:19, 18 March 2024
310 (1–3): 513–525, doi:10.1016/S0304-3975(03)00395-5, MR 2020358 Razborov, Alexander A. (2004), "Resolution lower bounds for perfect matching principles"...
30 KB (2,884 words) - 04:19, 16 May 2024
OCLC 812530987.{{cite book}}: CS1 maint: location missing publisher (link) Razborov, Alexander (2008). "On the minimal density of triangles in graphs" (PDF). Combinatorics...
12 KB (2,300 words) - 10:57, 6 January 2024
Science (sfcs 1977). IEEE. doi:10.1109/SFCS.1977.24. ISSN 0272-5428. Razborov, Alexander (1992). "On the distributional complexity of disjointness". Theoretical...
44 KB (6,780 words) - 21:31, 28 July 2024