Computer Assisted Proof: Fundamentals and Applications

Fouad Sabry

Jul 2023 · Artificial Intelligence Book 254 · One Billion Knowledgeable

About this ebook

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.

About the author

Fouad Sabry is the former Regional Head of Business Development for Applications at HP. Fouad has received his B.Sc. of Computer Systems and Automatic Control in 1996, dual master’s degrees from University of Melbourne (UoM) in Australia, Master of Business Administration (MBA) in 2008, and Master of Management in Information Technology (MMIT) in 2010. Fouad has more than 30 years of experience in Information Technology and Telecommunications fields, working in local, regional, and international companies, such as Vodafone and IBM. Fouad joined HP in 2013 and helped develop the business in tens of markets. Currently, Fouad is an entrepreneur, author, futurist, and founder of One Billion Knowledge (1BK) Initiative.