Theorem Prover
Advertisement
Z3-2.12 v.2 1
Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding available.
Advertisement
Central Limit Theorem v.1.1
Random additive process simulation. Central Limit Theorem software simulates a random additive process to illustrate that the distribution of the sum is a Gaussian,
Parabinomial Theorem v.1.0
Parabinomial Theorem provide fast binomial expansion algorithm. using computer-aided technology to perform expansion of binomials - automatic binomial expander Performing complicated binomial expansion in a few clicks, instead of solving them
Sampling Theorem v.1.0
Study the sampling theorem with this tool. Sampling Theorem can display the consequences of the sampling theorem. You may select from several predefined signal shapes, sampling them at different frequencies.
IFS Lab
An interactive IFS Fractal generator focused on the "Collage Theorem", IFS Lab allows the user to sketch an approximate outline of the desired fractal, then cover it with transformed images of itself to build a collage. The transformed images can be
TableauxProver for Linux 1.1-1 v.1
TableauxProver works as an automatic prover and also as a sketchpad which does not allow the user to commit rule mistakes.
TableauxProver for Mac OS X 1.1-1 v.1
TableauxProver works as an automatic prover and also as a sketchpad which does not allow the user to commit rule mistakes.
TableauxProver 1.1-1 v.1
TableauxProver works as an automatic prover and also as a sketchpad which does not allow the user to commit rule mistakes.
Molle v.1.0
Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method.
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.