Thema
Unterlagen (475)Mathematik (1380)
Internet (2908)
TeX/LaTeX(54)
deutsche übersetzung
Unterlagen (44)Mathematik (91)
Internet (204)
TeX/LaTeX(8)
pmii
In der Tradition Hilbert `s des Programms verursachen wir ein formales beheben (checkable durch einen Beweis Verifier) aber lesbare (wie ein gewöhnliches Latexlehrbuch) mathematische Wissensbasis, die frei innerhalb des Internets zugänglich ist. Wir beginnen mit Logik und Mengenlehre。
Status
Planung Vor-Alpha Alpha Beta
Beabsichtigte Publikum
Programmierer Benutzer Ausbildung Wissenschaft/Forschung Andere Publikum
Lizenz
GPL
OS
OS Independent
Programmiersprache
JAVA
Thema
TeX/LaTeX Internet Mathematik Unterlagen
Übersetzungen
Englisch Deutsch
Benutzerschnittstelle
Java Swing CUI Datenbanksuchroutine
Programmierer
2
seit
2001-07-27 03:16
du kannst an folgendem URL downloaden
http://sourceforge.net/projects/pmii