proof-system

hilf uns dieses Wiki zu bearbeiten
6
Antworten

Interaktives mathematisches Beweissystem

Ich suche nach einem Werkzeug (GUI bevorzugt, aber CLI würde funktionieren), das es mir erlaubt, mathematische Ausdrücke einzugeben und sie dann zu manipulieren, aber mich nur auf mathematisch gültige Operationen beschränkt. Außerdem muss das To...
10.04.2009, 19:37