Hersteller: | Zur Website |
Preis: | kostenlos |
Lizenz: | Kostenlos |
Betriebssystem: | Mac, Linux, Windows NT, Windows 98, Windows 2000, Windows ME, Windows XP, Windows Server, Windows Vista, Windows 7 |
Download-Größe: | 7446 KByte bis 8054 KByte |
Downloadrang: | 6398 |
Datensatz zuletzt aktualisiert: | 26.06.2024 |
Alle Angaben ohne Gewähr |
Mathematische Axiome, Definitionen und Sätze in QEDEQ-Modulen zusammengefasst; ermöglicht das Hinzufügen von Propositionen und Beweisen in die freie und dezentrale Wissensbasis des Hilbert-II-Projekts und überprüft die hinzugefügten Beweise automatisch auf Korrektheit; die Wissensbasis enthält mathematische Sätze und Beweise in formal korrekter Form, wobei versucht wird, die übliche mathematische Argumentation in eine formale Syntax (im QEDEQ-Format) zu überführen
Hilbert II (pmii)
![](http://heise.cloudimg.io/v7/_www-heise-de_/download/media/hilbert-ii-pmii-13015/hilbert-ii-pmii-1_1-1-2.jpg?force_format=avif,webp,jpeg&org_if_sml=1&q=70&width=1496)
Das könnte dich auch interessieren
TV & Stream: Fußball-EM 2024 im In- und Ausland schauen
So sehen Sie alle Spiele der Fußball-Europameisterschaft 2024
Cloud-Test: Die besten Cloud-Speicher im Vergleich
Cloud-Anbieter 2024: Alternativen zu Amazon Cloud, Dropbox & Co.
▶️ Beste eSIM-Tarife für Japan (Reise & Urlaub)
Günstigste eSIM-Anbieter für den Japan-Aufenthalt
▶️ Beste eSIM-Anbieter für Ägypten (Beruf & Reise)
Günstigste eSIM-Tarife für ihren Ägypten-Aufenthalt
Kommentare
{{commentsTotalLength}} KommentarKommentare
{{line}}