Software titles : 1-3 of 3 found.

Page: 1

1 - Hilbert II 0.04.07 Beta
Hilbert II : Check math axioms and create your own knowledge database
License: GNU Public License OS: Windows Size: 7.9 MB KB

25/11/2023

2 - Principia Mathematica II 0.00.53
Principia Mathematica II : Predicate logic tool built in Java
License: Freeware OS: Windows Size: 1 KB KB

4/11/2023

3 - Simulum 0.04.44
Simulum deals with different simulations of star movements and their visualizations.
License: GNU Public License OS: Windows 9X/ME/2K/XP/2003 Size: 622 KB

27/11/2023

Page: 1