Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Computer Assisted Proof -  Fouad Sabry

Computer Assisted Proof (eBook)

Fundamentals and Applications

(Autor)

eBook Download: EPUB
2023 | 1. Auflage
86 Seiten
One Billion Knowledgeable (Verlag)
978-0-00-047655-5 (ISBN)
Systemvoraussetzungen
4,49 inkl. MwSt
(CHF 4,35)
Der eBook-Verkauf erfolgt durch die Lehmanns Media GmbH (Berlin) zum Preis in Euro inkl. MwSt.
  • Download sofort lieferbar
  • Zahlungsarten anzeigen

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.

Erscheint lt. Verlag 6.7.2023
Sprache englisch
Themenwelt Informatik Theorie / Studium Künstliche Intelligenz / Robotik
ISBN-10 0-00-047655-2 / 0000476552
ISBN-13 978-0-00-047655-5 / 9780000476555
Haben Sie eine Frage zum Produkt?
EPUBEPUB (Adobe DRM)
Größe: 329 KB

Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM

Dateiformat: EPUB (Electronic Publication)
EPUB ist ein offener Standard für eBooks und eignet sich besonders zur Darstellung von Belle­tristik und Sach­büchern. Der Fließ­text wird dynamisch an die Display- und Schrift­größe ange­passt. Auch für mobile Lese­geräte ist EPUB daher gut geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos). Von der Benutzung der OverDrive Media Console raten wir Ihnen ab. Erfahrungsgemäß treten hier gehäuft Probleme mit dem Adobe DRM auf.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine Adobe-ID sowie eine kostenlose App.
Geräteliste und zusätzliche Hinweise

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
der Praxis-Guide für Künstliche Intelligenz in Unternehmen - Chancen …

von Thomas R. Köhler; Julia Finkeissen

eBook Download (2024)
Campus Verlag
CHF 37,95
Wie du KI richtig nutzt - schreiben, recherchieren, Bilder erstellen, …

von Rainer Hattenhauer

eBook Download (2023)
Rheinwerk Computing (Verlag)
CHF 18,25