Beweisbauer Hilbert-Stil

Help with applet - Help with rules - Help with language - Other programs - Feedback

Aus Marktüberlegungen ist der axiomatische Beweisbauer nur in englischer Sprache verfügbar.

Ihr Browser ist nicht Java-fähig.
Aus diesem Grund stehen Ihnen leider nur die nicht javabasierten Funktionen, die zentrale Verarbeitungen und die Beweisprüfung, zur Verfügung.

Leider unterstützen die meisten modernen Browserversionen keine Java-Applets mehr, und sogar die aktuellen Java-Versionen betrachten Applets als "deprecated" (veraltet). Wenn/falls es die Zeit erlaubt, möchte ich in der ferneren Zukunft einen Teil der Software für HTML5 neu implementieren.


© Christian Gottschall / christian.gottschall@univie.ac.at / 2018-03-27