Apps filed under: theorem
RSS Feed for this tag 8 applications totalLast updated: Jul 17th 2017, 12:17 GMT
- 80 downloads
- 844 KB
Pythagoras App 1.0
Use the Pythagorean theorem to find out the opposite, adjacent or hypotenuse of a right triangle w...
Jul 17th 2017, 12:17 GMT
Windows All
- 592 downloads
- 2 KB
KeYmaera 3.6.17
A powerful verification tool designed to be used by hybrid systems that include deductive, real a...
Mar 14th 2015, 22:03 GMT
Windows All
- 404 downloads
- 9.45 MB
MathBlend 1.0
An educational utility that can help students search for any mathematics topic and get information...
Feb 10th 2014, 13:13 GMT
Windows 8 64 bit / Windows 8 / Windows 7 / Windows Vista / Windows XP
- 527 downloads
- 7.87 MB
Hilbert II 0.04.07 Beta
Check math axioms and create your own knowledge database
Jun 2nd 2013, 02:14 GMT
Windows 8 64 bit / Windows 8 / Windows 7 / Windows Vista / Windows XP
- 490 downloads
- 527 KB
GEnerealized Resolution Deductive System
A simple tool for testing the theory about predicate logic deductive systems
May 1st 2013, 12:11 GMT
Windows All
- 612 downloads
- 973 KB
Fuzzy Predicate Logic GEnerealized Resolution Deductive System
A simple tool for editing knowledge bases and performing inference upon them
Apr 30th 2013, 22:18 GMT
Windows All
- 7,627 downloads
- 2.73 MB
Geometry 2.8.2
A simple and easy to use calculator which uses many of the formulas found in geometry
Jul 6th 2009, 11:32 GMT
Windows All