| 000 -LEADER |
|---|
| fixed length control field |
00580nam a2200181Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
161214s9999 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540606154 |
| Terms of availability |
pbk |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004 |
| Item number |
SUD |
| 100 ## - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Sudan, Madhu |
| 245 #0 - TITLE STATEMENT |
|---|
| Title |
Efficient checking of polynomials and proofs and the hardness of approximation problems |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
Berlin: |
| Name of publisher, distributor, etc |
Springer, |
| Date of publication, distribution, etc |
1995 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xiv, 87 p.; |
| Other physical details |
ill.: |
| Dimensions |
24 cm. |
| 365 ## - TRADE PRICE |
|---|
| Price type code |
INR |
| Price amount |
2433.60 |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
This work is a fascinating piece of research in computer science: it is built on and combines deep theoretical results from various areas and, at the same time, takes into account applications to hard problems in several fields. The author provides important new foundational insights and essentially 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 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Automatic theorem proving |
|
|---|
| Topical term or geographic name as entry element |
Computational complexity |
|
|---|
| Topical term or geographic name as entry element |
NP-complete problems |
|
|---|
| Topical term or geographic name as entry element |
Coding theory |
|
|---|
| Topical term or geographic name as entry element |
Polynomial evaluation code |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Item type |
Books |