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.
Live Geometry v.1.0.0.0
Live Geometry is aimed at geometry hobbyists and enthusiasts. It is a gallery of more than 30 interactive drawings and ruler-and-compass constructions, each illustrating an interesting "fun fact" or theorem, ranging from Pythagorean Theorem,
GEOMETRY 1 : Symmetries, Thales, Pythagoras, Figures, constructions OCZ v.1.01.002
Mathematics program intended for Middle School pupils (age 11-14).
ALGEBRA 3 : Analysis, vectors, trigonometry, probabilitiesOCZ v.2.01.002
Mathematics program intended for High School pupils (age 15-17) This Title comprises 20 chapters of complete courses completed with exercises covering every subject undertaken.