Theorem Prover
Advertisement
Molle v.1.0
Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method.
Odds Wizard v.2.50
Sports prediction and betting software. Generates odds for soccer, hockey, etc. Computes fixed odds, handicaps, totals, correct scores, half/full time odds. Maintains Internet-updateable databases of past games. Easy to understand logical interface.
Advertisement
SPC Training Simulator v.3.1.0000
The SPC Training Simulator has been found very effective for training in classroom environment as well as for self-learning. It is being successfully used by Quality Managers, Facilitators, Trainers, and Consultants.
Odds Wizard 2.20 Live v.1.0
Sports prediction and betting software. Generates performance-based odds for the upcoming games in any league sports, such as soccer, hockey, tennis, etc.
Mathelper.NET v.0.2.0.0 PreAlpha
Mathelper.NET is a software to help you with math. Mathelper.NET offers certain alghorithms and useful codes to solve some well-known mathematical problems. Its main purpose is easily get the result and display it on the screen.Mathelper.
FluidMechanics Calculator v.1.0.0.0
Fluid Mechanics Calculator contains 97 Calculators, that can quickly and easily calculate different Fluid Mechanics, Civil, Structural, Pipe Flow and Engineering parameters.
Geometrics v.1.9.0.0
This application allows to make calculations of surfaces and volumes by the addition of simple figures. It also determines the results of the formulas according to the volume of value that you own. If you want translate into your language :
Statistic and Probability Tools v.1.7
StaTool - Statistic and Probability Tools for Windows - Hypothesis testing.