GE2RAT

Aus International Center for Computational Logic

Version vom 10. Mai 2015, 07:57 Uhr von Tobias Philipp (Diskussion | Beiträge)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Wechseln zu:Navigation, Suche

GE2RAT is a tool written in Haskell that transforms Gaussian elimination steps into a RAT derivation.

Datei:Ge2rat.zip

Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=GE2RAT&oldid=16074“