Efficient checking of polynomials and proofs and the hardness of approximation problems
This book is based on the author's PhD thesis which was selected as the winning thesis of the 1993 ACM Doctoral Dissertation Competition. The author improved the presentation and included the progress achieved since the thesis was approved by the University of California at Berkeley. This work...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
1001 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Efficient checking of polynomials and proofs and the hardness of approximation problems, Madhu Sudan, New York, Springer, 1996, 1 vol. (xiv, 87 p.), Lecture notes in computer science, 3-540-60615-7 • Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems, Texte imprimé, 9783662180709 |
| LEADER | 03233nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 944913 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155206877 | ||
| 020 | |a 9783540484851 | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.14015113 | ||
| 100 | 1 | |a Sudan, Madhu. | |
| 245 | 1 | 0 | |a Efficient checking of polynomials and proofs and the hardness of approximation problems |c Madhu Sudan. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1001 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a On the resilience of polynomials -- Low-degree tests -- Transparent proofs and the class PCP -- Hardness of approximations -- Conclusions. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This book is based on the author's PhD thesis which was selected as the winning thesis of the 1993 ACM Doctoral Dissertation Competition. The author improved the presentation and included the progress achieved since the thesis was approved by the University of California at Berkeley. This work is a fascinating piece of theoretical computer science research building on deep results from different areas. It provides new theoretical insights and advances applicable techniques in such different areas as computational complexity, efficient (randomized) checking of proofs, programs and polynomials, approximation algorithms, NP-complete optimization, and error-detection and error-correction algorithms in coding theory. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Complexité de calcul (informatique) | ||
| 650 | |a Analyse numérique | ||
| 650 | |a Codage | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Théorèmes |x Démonstration automatique | ||
| 776 | 0 | |0 024768294 |t Efficient checking of polynomials and proofs and the hardness of approximation problems |f Madhu Sudan |c New York |n Springer |d 1996 |p 1 vol. (xiv, 87 p.) |s Lecture notes in computer science |z 3-540-60615-7 | |
| 776 | 0 | |t Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems |b Texte imprimé |z 9783662180709 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-60615-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-ZC0K4ND7-P |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747915342 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-60615-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750927976 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-60615-7 |z Accès INSA CVL | |
| 997 | |0 944913 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||