Efficient checking of polynomials and proofs and the hardness of approximation problems | 名古屋工業大学図書館蔵書検索（名工大OPAC）

>> Google Books

Efficient checking of polynomials and proofs and the hardness of approximation problems

フォーマット:: 図書
責任表示:: Madhu Sudan
言語:: 英語
出版情報:: Berlin ; New York : Springer-Verlag, c1995
形態:: xiv, 87 p. ; 24 cm
著者名:: Sudan, Madhu <DA09697097>
シリーズ名:: Lecture notes in computer science ; 1001 <BA00009279>
書誌ID:: BA26600095
ISBN:: 9783540606154 [3540606157]

子書誌情報

所蔵情報

Loading availability information

タイトルが類似している資料

詳細

主題:	Automatic theorem proving; Computational complexity; NP-complete problems
分類・件名:	NDC9 : 007.64 LCSH : NP-complete problems LCSH : Computational complexity LCSH : Automatic theorem proving
注記:	Bibliography: p. [73]-78 Includes index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Lectures on proof verification and approximation algorithms Mayr, Ernst W., Prömel, H. J., Steger, Angelika Springer	7 図書 Forcing with random variables and proof complexity Krajíček, Jan Cambridge University Press
2 図書 The programming and proof systems ATES : advanced techniques integration into efficient scientific software Puccetti, A. (Armand), 1961- Springer-Verlag	8 図書 Problems of reducing the exhaustive search Kreinovich, Vladik, Mint︠s︡, Grigori American Mathematical Society
3 図書 Complexity and approximation : combinatorial optimization problems and their approximability properties Ausiello, Giorgio, 1941- Springer	9 図書 Open problems in communication and computation Cover, T. M., 1938-, Gopinath, B. Springer-Verlag
4 図書 Metamathematics, machines, and Gödel's proof Shankar, N. Cambridge University Press	10 図書 Problem solving in automata, languages, and complexity Du, Dingzhu, Ko, Ker-I John Wiley & Sons
5 図書 Proof complexity Krajíček, Jan Cambridge University Press	11 図書 The computational complexity of algebraic and numeric problems Borodin, Allan, Munro, Ian, 1947- American Elsevier
6 図書 The automation of reasoning with incomplete information : from semantic foundations to efficient computation Schaub, Torsten Springer	12 図書 Knapsack problems : algorithms and computer implementations Martello, Silvano, Toth, Paolo Wiley