Computer Assisted Proof
ebook ∣ Fundamentals and Applications · Artificial Intelligence
By Fouad Sabry
Sign up to save your library
With an OverDrive account, you can save your favorite libraries for at-a-glance information about availability. Find out more about OverDrive accounts.
Share
Find this title in Libby, the library reading app by OverDrive.
Search for a digital library with this title
Title found at these libraries:
| Loading... |
What Is Computer Assisted Proof
A mathematical proof is considered to be computer-assisted if it has been generated by the computer in some way, even if just in part.
How You Will Benefit
(I) Insights, and validations about the following topics:
Chapter 1: Computer-assisted proof
Chapter 2: Mathematical proof
Chapter 3: Theorem
Chapter 4: Metamath
Chapter 5: Model checking
Chapter 6: Computer algebra
Chapter 7: Formal verification
Chapter 8: Validated numerics
Chapter 9: Logic Theorist
Chapter 10: Seventeen or Bust
(II) Answering the public top questions about computer assisted proof.
(III) Real world examples for the usage of computer assisted proof in many fields.
(IV) 17 appendices to explain, briefly, 266 emerging technologies in each industry to have 360-degree full understanding of computer assisted proof' technologies.
Who This Book Is For
Professionals, undergraduate and graduate students, enthusiasts, hobbyists, and those who want to go beyond basic knowledge or information for any kind of computer assisted proof.
Share
