Related Books

Proofs and Computations
Language: en
Pages: 480
Authors: Helmut Schwichtenberg
Categories: Mathematics
Type: BOOK - Published: 2011-12-15 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computabil
Mathematics and Computation
Language: en
Pages: 434
Authors: Avi Wigderson
Categories: Computers
Type: BOOK - Published: 2019-10-29 - Publisher: Princeton University Press

DOWNLOAD EBOOK

From the winner of the Turing Award and the Abel Prize, an introduction to computational complexity theory, its connections and interactions with mathematics, a
Computational Complexity
Language: en
Pages: 609
Authors: Sanjeev Arora
Categories: Computers
Type: BOOK - Published: 2009-04-20 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

New and classical results in computational complexity, including interactive proofs, PCP, derandomization, and quantum computation. Ideal for graduate students.
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Language: en
Pages: 469
Authors: Mitsuhiro T. Nakao
Categories: Mathematics
Type: BOOK - Published: 2019-11-11 - Publisher: Springer Nature

DOWNLOAD EBOOK

In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the e
Proof and Computation
Language: en
Pages: 478
Authors: Helmut Schwichtenberg
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show