Prix Gödel (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Prix Gödel" in French language version.

refsWebsite

Global rank French rank

39doi.org

2^nd place

3^rd place

9issn.org

57^th place

4^th place

7eatcs.org

low place

5web.archive.org

1^st place

3ams.org

451^st place

1,058^th place

3kfupm.edu.sa

low place

2mcgill.ca

2,527^th place

1,241^st place

2umd.edu

1,747^th place

2,244^th place

2wikiwix.com

194^th place

17^th place

2acm.org

1,185^th place

1,318^th place

1umass.edu

3,341^st place

5,385^th place

1tamu.edu

1,672^nd place

4,540^th place

1princeton.edu

741^st place

1,215^th place

1mit.edu

415^th place

809^th place

1tu-dortmund.de

low place

1brown.edu

2,481^st place

3,695^th place

1tau.ac.il

4,464^th place

5,366^th place

1berkeley.edu

580^th place

868^th place

1jstor.org

26^th place

110^th place

1weizmann.ac.il

4,983^rd place

low place

1kth.se

low place

1labri.fr

low place

1thorehusfeldt.net

low place

1sigact.org

low place

acm.org

dl.acm.org

(en) Samuel Fiorini, Serge Massar, Sebastian Pokutta et Hans Raj Tiwary, « Linear vs. semidefinite extended formulations: exponential separation and strong lower bounds », Proceedings of the 44th Symposium on Theory of Computing Conference, STOC 2012, ACM,‎ 19 mai 2012, p. 95–106 (ISBN 978-1-4503-1245-5, DOI 10.1145/2213977.2213988, lire en ligne, consulté le 2 juin 2023)
(en) Thomas Rothvoss, « The matching polytope has exponential extension complexity », Proceedings of the 46th Symposium on Theory of Computing Conference, STOC 2014, ACM,‎ 31 mai 2014, p. 263–272 (ISBN 978-1-4503-2710-7, DOI 10.1145/2591796.2591834, lire en ligne, consulté le 2 juin 2023)

ams.org

Omer Reingold, Salil Vadhan et Avi Wigderson, « Entropy waves, the zig-zag graph product, and new constant-degree expanders », Annals of Mathematics, vol. 155, n^o 1,‎ 2002, p. 157–187 (DOI 10.2307/3062153, JSTOR 3062153, MR 1888797, lire en ligne [archive du 7 décembre 2009])
Dan Boneh et Matthew Franklin, « Identity-based encryption from the Weil pairing », SIAM Journal on Computing, vol. 32, n^o 3,‎ 2003, p. 586–615 (DOI 10.1137/S0097539701398521, MR 2001745)
Antoine Joux, « A one round protocol for tripartite Diffie-Hellman », Journal of Cryptology, vol. 17, n^o 4,‎ 2004, p. 263–276 (DOI 10.1007/s00145-004-0312-y, MR 2090557)

berkeley.edu

math.berkeley.edu

Manindra Agrawal, Neeraj Kayal et Nitin Saxena, « PRIMES is in P », Annals of Mathematics, vol. 160, n^o 2,‎ 2004, p. 781–793 (DOI 10.4007/annals.2004.160.781, lire en ligne [archive du 7 juin 2011])

brown.edu

cs.brown.edu

Maurice Herlihy et Nir Shavit, « The topological structure of asynchronous computation », Journal of the ACM, vol. 46, n^o 6,‎ 1999, p. 858–923 (DOI 10.1145/331524.331529, lire en ligne)

doi.org

dx.doi.org

László Babai et Shlomo Moran, « Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class », Journal of Computer and System Sciences, vol. 36, n^o 2,‎ 1988, p. 254–276 (DOI 10.1016/0022-0000(88)90028-1, lire en ligne)
S. Goldwasser, S. Micali et C. Rackoff, « The knowledge complexity of interactive proof systems », SIAM Journal on Computing, vol. 18, n^o 1,‎ 1989, p. 186–208 (DOI 10.1137/0218012, lire en ligne)
Neil Immerman, « Nondeterministic space is closed under complementation », SIAM Journal on Computing, vol. 17, n^o 5,‎ 1988, p. 935–938 (ISSN 1095-7111, DOI 10.1137/0217058, lire en ligne)
R. Szelepcsényi, « The method of forced enumeration for nondeterministic automata », Acta Informatica, vol. 26, n^o 3,‎ 1988, p. 279–284 (DOI 10.1007/BF00299636)
Mark Jerrum et Alistair Sinclair, « Approximating the permanent », SIAM Journal on Computing, vol. 18, n^o 6,‎ 1989, p. 1149–1178 (ISSN 1095-7111, DOI 10.1137/0218077)
Alistair Sinclair et Mark Jerrum, « Approximate counting, uniform generation and rapidly mixing Markov chains », Information and Computation, vol. 82, n^o 1,‎ 1989, p. 93–133 (DOI 10.1016/0890-5401(89)90067-9)
Joseph Halpern et Yoram Moses, « Knowledge and common knowledge in a distributed environment », Journal of the ACM, vol. 37, n^o 3,‎ 1990, p. 549–587 (DOI 10.1145/79147.79161)
Seinosuke Toda, « PP is as hard as the polynomial-time hierarchy », SIAM Journal on Computing, vol. 20, n^o 5,‎ 1991, p. 865–877 (DOI 10.1137/0220053, lire en ligne)
Peter W. Shor, « Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer », SIAM Journal on Computing, vol. 26, n^o 5,‎ 1997, p. 1484–1509 (DOI 10.1137/S0097539795293172, lire en ligne)
Moshe Y. Vardi et Pierre Wolper, « Reasoning about infinite computations », Information and Computation, vol. 115, n^o 1,‎ 1994, p. 1–37 (DOI 10.1006/inco.1994.1092)
Uriel Feige, Shafi Goldwasser, Laszlo Lovász, Shmuel Safra et Mario Szegedy, « Interactive proofs and the hardness of approximating cliques », Journal of the ACM, vol. 43, n^o 2,‎ 1996, p. 268–292 (DOI 10.1145/226643.226652, lire en ligne)
Sanjeev Arora et Shmuel Safra, « Probabilistic checking of proofs: a new characterization of NP », Journal of the ACM, vol. 45, n^o 1,‎ 1998, p. 70–122 (DOI 10.1145/273865.273901, lire en ligne [archive du 10 juin 2011])
Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan et Mario Szegedy, « Proof verification and the hardness of approximation problems », Journal of the ACM, vol. 45, n^o 3,‎ 1998, p. 501–555 (DOI 10.1145/278298.278306, lire en ligne [archive du 10 juin 2011])
Géraud Sénizergues, « L(A) = L(B)? decidability results from complete formal systems », Theor. Comput. Sci., vol. 251, n^o 1,‎ 2001, p. 1–166 (DOI 10.1016/S0304-3975(00)00285-1)
Y. Freund et R.E. Schapire, « A decision-theoretic generalization of on-line learning and an application to boosting », Journal of Computer and System Sciences, vol. 55, n^o 1,‎ 1997, p. 119–139 (DOI 10.1006/jcss.1997.1504, lire en ligne)
Maurice Herlihy et Nir Shavit, « The topological structure of asynchronous computation », Journal of the ACM, vol. 46, n^o 6,‎ 1999, p. 858–923 (DOI 10.1145/331524.331529, lire en ligne)
Michael Saks et Fotios Zaharoglou, « Wait-free k-set agreement is impossible: The topology of public knowledge », SIAM Journal on Computing, vol. 29, n^o 5,‎ 2000, p. 1449–1483 (DOI 10.1137/S0097539796307698)
Noga Alon, Yossi Matias et Mario Szegedy, « The space complexity of approximating the frequency moments », Journal of Computer and System Sciences, vol. 58, n^o 1,‎ 1999, p. 137–147 (DOI 10.1006/jcss.1997.1545, lire en ligne)
Manindra Agrawal, Neeraj Kayal et Nitin Saxena, « PRIMES is in P », Annals of Mathematics, vol. 160, n^o 2,‎ 2004, p. 781–793 (DOI 10.4007/annals.2004.160.781, lire en ligne [archive du 7 juin 2011])
Alexander A. Razborov et Steven Rudich, « Natural proofs », Journal of Computer and System Sciences, vol. 55, n^o 1,‎ 1997, p. 24–35 (DOI 10.1006/jcss.1997.1494)
Omer Reingold, Salil Vadhan et Avi Wigderson, « Entropy waves, the zig-zag graph product, and new constant-degree expanders », Annals of Mathematics, vol. 155, n^o 1,‎ 2002, p. 157–187 (DOI 10.2307/3062153, JSTOR 3062153, MR 1888797, lire en ligne [archive du 7 décembre 2009])
Sanjeev Arora, « Polynomial time approximation schemes for Euclidean traveling salesman and other geometric problems », Journal of the ACM, vol. 45, n^o 5,‎ 1998, p. 753–782 (DOI 10.1145/290179.290180)
Joseph S. B. Mitchell, « Guillotine Subdivisions Approximate Polygonal Subdivisions: A Simple Polynomial-Time Approximation Scheme for Geometric TSP, k-MST, and Related Problems », SIAM Journal on Computing, vol. 28, n^o 4,‎ 1999, p. 1298–1309 (ISSN 1095-7111, DOI 10.1137/S0097539796309764)
Johan Håstad, « Some optimal inapproximability results », Journal of the ACM, vol. 48,‎ 2001, p. 798–859 (DOI 10.1145/502090.502098, lire en ligne)
Elias Koutsoupias et Christos Papadimitriou, « Worst-case equilibria », Computer Science Review, vol. 3, n^o 2,‎ 2009, p. 65–69 (DOI 10.1016/j.cosrev.2009.04.003)
Tim Roughgarden et Éva Tardos, « How bad is selfish routing? », Journal of the ACM, vol. 49, n^o 2,‎ 2002, p. 236–259 (DOI 10.1145/506147.506153)
Noam Nisan et Amir Ronen, « Algorithmic Mechanism Design », Games and Economic Behavior, vol. 35, n^os 1-2,‎ 2001, p. 166–196 (DOI 10.1006/game.1999.0790)
Dan Boneh et Matthew Franklin, « Identity-based encryption from the Weil pairing », SIAM Journal on Computing, vol. 32, n^o 3,‎ 2003, p. 586–615 (DOI 10.1137/S0097539701398521, MR 2001745)
Antoine Joux, « A one round protocol for tripartite Diffie-Hellman », Journal of Cryptology, vol. 17, n^o 4,‎ 2004, p. 263–276 (DOI 10.1007/s00145-004-0312-y, MR 2090557)
Ronald Fagin, Amnon Lotem et Moni Naor, « Optimal aggregation algorithms for middleware », Journal of Computer and System Sciences, vol. 66, n^o 4,‎ 2003, p. 614-656 (DOI 10.1016/S0022-0000(03)00026-6)
Daniel A. Spielman et Shang-Hua Teng, « Spectral Sparsification of Graphs », SIAM Journal on Computing, vol. 40, n^o 4,‎ 2011, p. 981-1025 (ISSN 0097-5397, DOI 10.1137/08074489X).
Daniel A. Spielman et Shang-Hua Teng, « A Local Clustering Algorithm for Massive Graphs and Its Application to Nearly Linear Time Graph Partitioning », SIAM Journal on Computing, vol. 42, n^o 1,‎ 2013, p. 1-26 (ISSN 0097-5397, DOI 10.1137/080744888).
Daniel A. Spielman et Shang-Hua Teng, « Nearly Linear Time Algorithms for Preconditioning and Solving Symmetric, Diagonally Dominant Linear Systems », SIAM Journal on Matrix Analysis and Applications, vol. 35, n^o 3,‎ 2014, p. 835-885 (ISSN 0895-4798, DOI 10.1137/090771430).
(en) Oded Regev, « On lattices, learning with errors, random linear codes, and cryptography », Journal of the ACM, vol. 56, n^o 6,‎ 2009, p. 34:1-34:40 (DOI 10.1145/1568318.1568324).
Andrei A. Bulatov, « The complexity of the counting constraint satisfaction problem », Journal of the ACM, Association for Computing Machinery (ACM), vol. 60, n^o 5,‎ 2013, p. 1–41 (ISSN 0004-5411, DOI 10.1145/2528400)
Martin Dyer et David Richerby, « An Effective Dichotomy for the Counting Constraint Satisfaction Problem », Society for Industrial & Applied Mathematics (SIAM), vol. 42, n^o 3,‎ 2013, p. 1245–1274 (ISSN 0097-5397, DOI 10.1137/100811258)
Jin-Yi Cai et Xi Chen, « Complexity of Counting CSP with Complex Weights », Association for Computing Machinery (ACM), vol. 64, n^o 3,‎ 22 juin 2017, p. 1–39 (ISSN 0004-5411, DOI 10.1145/2822891)
(en) Samuel Fiorini, Serge Massar, Sebastian Pokutta et Hans Raj Tiwary, « Linear vs. semidefinite extended formulations: exponential separation and strong lower bounds », Proceedings of the 44th Symposium on Theory of Computing Conference, STOC 2012, ACM,‎ 19 mai 2012, p. 95–106 (ISBN 978-1-4503-1245-5, DOI 10.1145/2213977.2213988, lire en ligne, consulté le 2 juin 2023)
(en) Thomas Rothvoss, « The matching polytope has exponential extension complexity », Proceedings of the 46th Symposium on Theory of Computing Conference, STOC 2014, ACM,‎ 31 mai 2014, p. 263–272 (ISBN 978-1-4503-2710-7, DOI 10.1145/2591796.2591834, lire en ligne, consulté le 2 juin 2023)

eatcs.org

issn.org

portal.issn.org

Neil Immerman, « Nondeterministic space is closed under complementation », SIAM Journal on Computing, vol. 17, n^o 5,‎ 1988, p. 935–938 (ISSN 1095-7111, DOI 10.1137/0217058, lire en ligne)
Mark Jerrum et Alistair Sinclair, « Approximating the permanent », SIAM Journal on Computing, vol. 18, n^o 6,‎ 1989, p. 1149–1178 (ISSN 1095-7111, DOI 10.1137/0218077)
Joseph S. B. Mitchell, « Guillotine Subdivisions Approximate Polygonal Subdivisions: A Simple Polynomial-Time Approximation Scheme for Geometric TSP, k-MST, and Related Problems », SIAM Journal on Computing, vol. 28, n^o 4,‎ 1999, p. 1298–1309 (ISSN 1095-7111, DOI 10.1137/S0097539796309764)
Daniel A. Spielman et Shang-Hua Teng, « Spectral Sparsification of Graphs », SIAM Journal on Computing, vol. 40, n^o 4,‎ 2011, p. 981-1025 (ISSN 0097-5397, DOI 10.1137/08074489X).
Daniel A. Spielman et Shang-Hua Teng, « A Local Clustering Algorithm for Massive Graphs and Its Application to Nearly Linear Time Graph Partitioning », SIAM Journal on Computing, vol. 42, n^o 1,‎ 2013, p. 1-26 (ISSN 0097-5397, DOI 10.1137/080744888).
Daniel A. Spielman et Shang-Hua Teng, « Nearly Linear Time Algorithms for Preconditioning and Solving Symmetric, Diagonally Dominant Linear Systems », SIAM Journal on Matrix Analysis and Applications, vol. 35, n^o 3,‎ 2014, p. 835-885 (ISSN 0895-4798, DOI 10.1137/090771430).
Andrei A. Bulatov, « The complexity of the counting constraint satisfaction problem », Journal of the ACM, Association for Computing Machinery (ACM), vol. 60, n^o 5,‎ 2013, p. 1–41 (ISSN 0004-5411, DOI 10.1145/2528400)
Martin Dyer et David Richerby, « An Effective Dichotomy for the Counting Constraint Satisfaction Problem », Society for Industrial & Applied Mathematics (SIAM), vol. 42, n^o 3,‎ 2013, p. 1245–1274 (ISSN 0097-5397, DOI 10.1137/100811258)
Jin-Yi Cai et Xi Chen, « Complexity of Counting CSP with Complex Weights », Association for Computing Machinery (ACM), vol. 64, n^o 3,‎ 22 juin 2017, p. 1–39 (ISSN 0004-5411, DOI 10.1145/2822891)

jstor.org

Omer Reingold, Salil Vadhan et Avi Wigderson, « Entropy waves, the zig-zag graph product, and new constant-degree expanders », Annals of Mathematics, vol. 155, n^o 1,‎ 2002, p. 157–187 (DOI 10.2307/3062153, JSTOR 3062153, MR 1888797, lire en ligne [archive du 7 décembre 2009])

kfupm.edu.sa

eprints.kfupm.edu.sa

Daniel A. Spielman et Shang-Hua Teng, « Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time », Journal of the ACM, vol. 51, n^o 3,‎ 2004, p. 385–463 (lire en ligne [archive du 6 décembre 2009])
Omer Reingold, Salil Vadhan et Avi Wigderson, « Entropy waves, the zig-zag graph product, and new constant-degree expanders », Annals of Mathematics, vol. 155, n^o 1,‎ 2002, p. 157–187 (DOI 10.2307/3062153, JSTOR 3062153, MR 1888797, lire en ligne [archive du 7 décembre 2009])

reference.kfupm.edu.sa

Johan Håstad, « Almost Optimal Lower Bounds for Small Depth Circuits », dans Silvio Micali (éditeur), Randomness and Computation, JAI Press, coll. « Advances in Computing Research » (n^o 5), 1989 (ISBN 0-89232-896-7, lire en ligne [archive du 22 février 2012]), « Almost Optimal Lower Bounds for Small Depth Circuits », p. 6–20

kth.se

nada.kth.se

Johan Håstad, « Some optimal inapproximability results », Journal of the ACM, vol. 48,‎ 2001, p. 798–859 (DOI 10.1145/502090.502098, lire en ligne)

labri.fr

1024.labri.fr

Jacques Stern, « Antoine Joux, Prix Gödel 2013 », 1024 - Bulletin de la société informatique de France, n^o 1,‎ septembre 2013, p. 107-110 (lire en ligne)

mcgill.ca

crypto.cs.mcgill.ca

László Babai et Shlomo Moran, « Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class », Journal of Computer and System Sciences, vol. 36, n^o 2,‎ 1988, p. 254–276 (DOI 10.1016/0022-0000(88)90028-1, lire en ligne)
S. Goldwasser, S. Micali et C. Rackoff, « The knowledge complexity of interactive proof systems », SIAM Journal on Computing, vol. 18, n^o 1,‎ 1989, p. 186–208 (DOI 10.1137/0218012, lire en ligne)

mit.edu

groups.csail.mit.edu

Uriel Feige, Shafi Goldwasser, Laszlo Lovász, Shmuel Safra et Mario Szegedy, « Interactive proofs and the hardness of approximating cliques », Journal of the ACM, vol. 43, n^o 2,‎ 1996, p. 268–292 (DOI 10.1145/226643.226652, lire en ligne)

princeton.edu

physics.princeton.edu

Peter W. Shor, « Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer », SIAM Journal on Computing, vol. 26, n^o 5,‎ 1997, p. 1484–1509 (DOI 10.1137/S0097539795293172, lire en ligne)

sigact.org

« 2015 Gödel Prize », sur SIGACT

tamu.edu

faculty.cs.tamu.edu

Seinosuke Toda, « PP is as hard as the polynomial-time hierarchy », SIAM Journal on Computing, vol. 20, n^o 5,‎ 1991, p. 865–877 (DOI 10.1137/0220053, lire en ligne)

tau.ac.il

math.tau.ac.il

Noga Alon, Yossi Matias et Mario Szegedy, « The space complexity of approximating the frequency moments », Journal of Computer and System Sciences, vol. 58, n^o 1,‎ 1999, p. 137–147 (DOI 10.1006/jcss.1997.1545, lire en ligne)

thorehusfeldt.net

Article à propos de l'article et du prix : Thore Husfeldt, « Personal reality (Gödel Prize 2014) » [archive du 4 mai 2015], 2014 (consulté le 30 avril 2015).

tu-dortmund.de

www-ai.cs.tu-dortmund.de

Y. Freund et R.E. Schapire, « A decision-theoretic generalization of on-line learning and an application to boosting », Journal of Computer and System Sciences, vol. 55, n^o 1,‎ 1997, p. 119–139 (DOI 10.1006/jcss.1997.1504, lire en ligne)

umass.edu

cs.umass.edu

Neil Immerman, « Nondeterministic space is closed under complementation », SIAM Journal on Computing, vol. 17, n^o 5,‎ 1988, p. 935–938 (ISSN 1095-7111, DOI 10.1137/0217058, lire en ligne)

umd.edu

cs.umd.edu

Sanjeev Arora et Shmuel Safra, « Probabilistic checking of proofs: a new characterization of NP », Journal of the ACM, vol. 45, n^o 1,‎ 1998, p. 70–122 (DOI 10.1145/273865.273901, lire en ligne [archive du 10 juin 2011])
Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan et Mario Szegedy, « Proof verification and the hardness of approximation problems », Journal of the ACM, vol. 45, n^o 3,‎ 1998, p. 501–555 (DOI 10.1145/278298.278306, lire en ligne [archive du 10 juin 2011])

web.archive.org

Johan Håstad, « Almost Optimal Lower Bounds for Small Depth Circuits », dans Silvio Micali (éditeur), Randomness and Computation, JAI Press, coll. « Advances in Computing Research » (n^o 5), 1989 (ISBN 0-89232-896-7, lire en ligne [archive du 22 février 2012]), « Almost Optimal Lower Bounds for Small Depth Circuits », p. 6–20
Sanjeev Arora et Shmuel Safra, « Probabilistic checking of proofs: a new characterization of NP », Journal of the ACM, vol. 45, n^o 1,‎ 1998, p. 70–122 (DOI 10.1145/273865.273901, lire en ligne [archive du 10 juin 2011])
Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan et Mario Szegedy, « Proof verification and the hardness of approximation problems », Journal of the ACM, vol. 45, n^o 3,‎ 1998, p. 501–555 (DOI 10.1145/278298.278306, lire en ligne [archive du 10 juin 2011])
Manindra Agrawal, Neeraj Kayal et Nitin Saxena, « PRIMES is in P », Annals of Mathematics, vol. 160, n^o 2,‎ 2004, p. 781–793 (DOI 10.4007/annals.2004.160.781, lire en ligne [archive du 7 juin 2011])
Article à propos de l'article et du prix : Thore Husfeldt, « Personal reality (Gödel Prize 2014) » [archive du 4 mai 2015], 2014 (consulté le 30 avril 2015).

weizmann.ac.il

Omer Reingold, « Undirected connectivity in log-space », Journal of the ACM, vol. 55, n^o 4,‎ 2008, p. 1–24 (lire en ligne)

wikiwix.com

archive.wikiwix.com

Daniel A. Spielman et Shang-Hua Teng, « Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time », Journal of the ACM, vol. 51, n^o 3,‎ 2004, p. 385–463 (lire en ligne [archive du 6 décembre 2009])
Omer Reingold, Salil Vadhan et Avi Wigderson, « Entropy waves, the zig-zag graph product, and new constant-degree expanders », Annals of Mathematics, vol. 155, n^o 1,‎ 2002, p. 157–187 (DOI 10.2307/3062153, JSTOR 3062153, MR 1888797, lire en ligne [archive du 7 décembre 2009])