Showing page 1 of 1.
GeomSpace is interactive geometry software for different geometric spaces. You can build your own universe of any dimension and with any geometry. You can choose Euclidean, elliptic, hyperbolic, Minkowskii among other spaces.72 weekly downloads
The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery.7 weekly downloads
FVM2 - F Virtual Machine v21 weekly downloads