Lectures on proof verification and approximation algorithms

>> Google Books

所蔵情報QRコード

Lectures on proof verification and approximation algorithms / Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c1998

形態:

xii, 344 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 1367 <BA00009279>

著者名:

ISBN:

9783540642015 [3540642013]

書誌ID:

BA34927465

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references (p. [325]-334) and indexes

主題:

Approximation theory; Automatic theorem proving; Computer algorithms

言語:

英語

目次情報:

This textbook-like tutorial is a coherent

And essentially self-contained presentation of the enormous

Recent progress facilitated by the interplay

Between the theory of probabistically checkable

Proofs and aproximation algorithms

The basic concepts, methods, and results are presented

In a unified way to provide a smooth introduction for newcomers

These lectures are particularly useful for advanced

Courses or reading groups on the topic

This textbook-like tutorial is a coherent

And essentially self-contained presentation of the enormous

Recent progress facilitated by the interplay

Between the theory of probabistically checkable

Proofs and aproximation algorithms

The basic concepts, methods, and results are presented

続きを見る

ブックレビュー

類似資料:

1 電子ブック Lectures on Proof Verification and Approximation Algorithms Ernst W. Mayr, Mayr, Ernst W., Prömel, H. J., Steger, Angelika, Goos, G., Hartmanis, J., Prömel, Hans Jürgen SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 図書 Polynomial approximation Feinerman, Robert P., Newman, Donald J., 1930- Williams & Wilkins
2 電子ブック Lectures on Proof Verification and Approximation Algorithms Mayr, Ernst W., Prömel, Hans Jürgen., Steger, Angelika., SpringerLink (Online service) Springer Berlin Heidelberg	8 図書 Degree of approximation by polynomials in the complex domain Sewell, W. E. (Walter Edwin) Princeton University Press, Kraus Reprint Co.
3 図書 The Steiner tree problem : a tour through graphs, algorithms, and complexity Prömel, H. J., Steger, Angelika Friedr. Vieweg & Sohn	9 図書 Approximation theory and methods (: pbk) Powell, M. J. D, 1936- Cambridge University Press
4 図書 Efficient checking of polynomials and proofs and the hardness of approximation problems Sudan, Madhu Springer-Verlag	10 図書 Mathematical knowledge management : Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings MKM, Asperti, Andrea, Buchberger, Bruno, 1942-, Davenport, J. H. Springer
5 図書 Lectures on complex approximation (: Boston ; : Basel) Gaier, Dieter, McLaughlin, Renate Birkhäuser	11 図書 Trends and applications in constructive approximation Mache, Detlef H., Szabados, József, Bruin, M. G. de (Marcelis Gerrit de), 1944-, International Bommerholz Meeting on … Birkhäuser
6 図書 Harmonic approximation (: pbk) Gardiner, Stephen J Cambridge University Press	12 図書 Introduction to the theory of weighted polynomial approximation Mhaskar, H. N. (Hrushikesh Narhar), 1956- World Scientific