Anzeige
vdc.
VDEC ist eine diskrete Außenkalkul- und Geometrie-Verarbeitungsbibliothek. ...
wird bearbeitet Geometrie Außenkalculus. Geometrie-Verarbeitungsbibliothek. Geometriesimulation
Petitlambda.
Petitlambda ist ein Dolmetscher von Lambda-Kalkül. ...
Dolmetscher Infinitesimalrechnung Lambda-Kalkül Lambda-Dolmetscher. Lambda-Begriffe
Logikentwickler
Logic-Revision ist ein Theorem-Prüfer für die Logik der Erstbestellung mit Gleichheit. ...
Infinitesimalrechnung Theorem-Besprecher. Formeldarstellung Entschließungsauflösung Satz
Diskretes Ereignis-Kalkülmörder
Discrete Event-Calculus-Mentation ist ein Open-Source-Programm zur Durchführung der automatisierten Commonsense-Argumentation. ...
Veranstaltung Infinitesimalrechnung Commonsense-Argumentation. Diskret Ereignisrechnung
Python-Lambda-Kalkül-Modul
Python Lambda Calculus Module-Projekt ist ein einfaches, aber voll ausgestattetes Modul zum Erkundern von Lambda-Kalkül. ...
Python Infinitesimalrechnung Lambda Python Lambda. Kalkülmodul
Lambda
Lambda-Projekt ist ein Lambda-Kalkülinterpreter. ...
Dolmetscher Infinitesimalrechnung Lambda Kalkülinterpreter. Lambda-Ausdrücke.
Checken
ein formales Proof-Management-System ...
Verwaltung Infinitesimalrechnung nachweisen Proof Assistant Proofmanagement.
Sitia
A C ++ Bibliothek, um symbolische Kalkülaufgaben auszuführen ...
C++-Bibliothek Infinitesimalrechnung Berechnung symbolische Berechnung symbolisch