Program Proofs
Metamath: A Computer Language for Mathematical Proofs eBooks & eLearning
Posted by hill0 at May 22, 2024
Metamath: A Computer Language for Mathematical Proofs
English | 2019 | ISBN: 0359702236 | 247 Pages | PDF | 1.1 MB
English | 2019 | ISBN: 0359702236 | 247 Pages | PDF | 1.1 MB
Tests and Proofs eBooks & eLearning
Posted by step778 at June 25, 2024
Bernhard Beckert, Reiner Hähnle, "Tests and Proofs"
English | 2008 | pages: 201 | ISBN: 354079123X | PDF | 3,0 mb
English | 2008 | pages: 201 | ISBN: 354079123X | PDF | 3,0 mb
Tests and Proofs eBooks & eLearning
Posted by step778 at June 25, 2024
Bernhard Beckert, Reiner Hähnle, "Tests and Proofs"
English | 2008 | pages: 201 | ISBN: 354079123X | PDF | 3,0 mb
English | 2008 | pages: 201 | ISBN: 354079123X | PDF | 3,0 mb
Tests and Proofs eBooks & eLearning
Posted by step778 at June 25, 2024
Bernhard Beckert, Reiner Hähnle, "Tests and Proofs"
English | 2008 | pages: 201 | ISBN: 354079123X | PDF | 3,0 mb
English | 2008 | pages: 201 | ISBN: 354079123X | PDF | 3,0 mb
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations eBooks & eLearning
Posted by roxul at Nov. 11, 2019
Mitsuhiro T. Nakao, "Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations "
English | ISBN: 9811376689 | 2019 | 467 pages | EPUB, PDF | 40 MB + 13 MB
English | ISBN: 9811376689 | 2019 | 467 pages | EPUB, PDF | 40 MB + 13 MB
Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings eBooks & eLearning
Posted by roxul at Oct. 19, 2024
Marieke Huisman, "Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings "
English | ISBN: 3031720431 | 2025 | 192 pages | PDF | 9 MB
English | ISBN: 3031720431 | 2025 | 192 pages | PDF | 9 MB
The Real Numbers and Real Analysis (Repost) eBooks & eLearning
Posted by AvaxGenius at Oct. 16, 2020
The Real Numbers and Real Analysis by Ethan D. Bloch
English | PDF | 2011 | 577 Pages | ISBN : 0387721762 | 5.16 MB
This text is a rigorous, detailed introduction to real analysis that presents the fundamentals with clear exposition and carefully written definitions, theorems, and proofs. The choice of material and the flexible organization, including three different entryways into the study of the real numbers, making it equally appropriate to undergraduate mathematics majors who want to continue in mathematics, and to future mathematics teachers who want to understand the theory behind calculus.
Program = Proof eBooks & eLearning
Posted by step778 at June 17, 2023
Samuel Mimram, "Program = Proof"
English | 2020 | pages: 489 | ISBN: B08C97TD9G | PDF | 2,3 mb
English | 2020 | pages: 489 | ISBN: B08C97TD9G | PDF | 2,3 mb
Program Logics for Certified Compilers eBooks & eLearning
Posted by DZ123 at March 19, 2019
Andrew W. Appel, Robert Dockins, Aquinas Hobor, "Program Logics for Certified Compilers"
English | 2014 | ISBN: 110704801X | PDF | pages: 472 | 1.9 mb
English | 2014 | ISBN: 110704801X | PDF | pages: 472 | 1.9 mb
Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Constructions eBooks & eLearning
Posted by AvaxGenius at Feb. 8, 2020
Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Constructions by Yves Bertot
English | PDF | 2004 | 492 Pages | ISBN : 3540208542 | 37.31 MB
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.