Mathematik
Mathematische Konzepte, Theorien, Rätsel und Anwendungen
-
Mathematik
Euklids „Elemente“ prägten die Geometrie über Jahrtausende
-
Mathematik
Der satz des pythagoras entschlüsselt alte geheimnisse
-
Mathematik
Primzahlen schützen Ihre Online-Geheimnisse
-
Mathematik
Wahrheit ist in formalen sprachen undefinierbar
-
Mathematik
Isabelle/HOL: Computer beweisen, dass mathematik korrekt ist
-
Mathematik
Computer können mathematische theoreme mit perfekter genauigkeit beweisen
-
Mathematik
Abella beweist die verborgenen Regeln der logischen Programmierung
-
Mathematik
Leans Engine automatisiert komplexe mathematische Beweise
-
Mathematik
NuPRL verwandelt mathematische Beweise in perfekte Programme
-
Mathematik
Kann ein kleines modell unendliche mengen verstehen?
-
Mathematik
Computer prüfen jetzt Mathematik auf Fehler
-
Mathematik
Code und logik sind zwei seiten derselben medaille
-
Mathematik
Twelf analysiert die werkzeuge, die mathematik überprüfen
-
Mathematik
Diese logik lehnt das gesetz des ausgeschlossenen dritten ab
-
Mathematik
Matita hilft computern, mathematische beweise zu überprüfen
Weitere Kategorien
Kategorien →