Computer Assisted Proof: Fundamentals and Applications

· One Billion Knowledgeable · Озвучено ИИ Mason (от Google)
Аудиокнига
2 ч. 13 мин.
Полная версия
Можно добавить
Озвучено ИИ
Оценки и отзывы не проверены. Подробнее…
Добавить отрывок длиной 13 мин.? Его можно слушать в любое время, даже офлайн. 
Добавить

Об аудиокниге

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.

Об авторе

Fouad Sabry is the former Regional Head of Business Development for Applications at HP in Southern Europe, Middle East, and Africa (SEMEA). 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 20 years of experience in Information Technology and Telecommunications fields, working in local, regional, and international companies, such as Vodafone and IBM in Middle East and Africa (MEA) region. Fouad joined HP Middle East (ME), based in Dubai, United Arab Emirates (UAE) in 2013 and helped develop the software business in tens of markets across Southern Europe, Middle East, and Africa (SEMEA) regions. Currently, Fouad is an entrepreneur, author, futurist, focused on Emerging Technologies, and Industry Solutions, and founder of One Billion Knowledgeable (1BK) Initiative.

Оцените аудиокнигу.

Поделитесь с нами своим мнением.

Прослушивание аудиокниг

Смартфоны и планшеты
Установите приложение Google Play Книги для Android или iPad/iPhone. Оно синхронизируется с вашим аккаунтом автоматически, и вы сможете читать любимые книги онлайн и офлайн где угодно.
Ноутбуки и настольные компьютеры
Книги, купленные в Google Play, можно также читать в браузере.

Другие книги автора Fouad Sabry

Похожие аудиокниги

Текст читает Mason