Featured

Theorem

Software

Cabri II Plus

1,585

Cabrilog S.A.S.

For math learning, the Cabri II Plus program is a great solution whether you're...

mathematical concepts, transformations and theorems

Geometry

free

138

Travis East

Geometry is a calculator which uses many of the formulas found in geometry...

calculations involving the pythagorean theorem, sine, cosine, tangent, special

OpenEuclide-0.4 for Windows

free

109

Fabien Coulon

This geometry program is for educational purposes and it allows proving and verifying geometrical...

proving and verifying geometrical theorems for Euclidian or axiomatic

Coq

free

107

Coq Development Team

Coq is a formal proof management system. It provides a formal language...

definitions, executable algorithms and theorems together

MathGraph32

free

Yves Biton

MathGraph32 is a math software allowing the user to create very comprehensive...

MathGraph32 is a math software allowing the user to create very comprehensive dynamic math figure

SPC Training Simulator

Symphony Technologies

The SPC Training Simulator has been found very effective for training...

of the Central Limit Theorem - Effects of Subgroup Size

Lurch

free

The Lurch Project

Lurch is a program for teaching and learning mathematical proofs...

Lurch is a program for teaching and learning mathematical proofs. It supports full mathematical

TeX Creator

free

TeXSample Team

Z3-2.6

free

Microsoft Research

Z3 is a high-performance theorem prover being developed at Microsoft Research...

Z3 is a high-performance theorem prover being developed

Pythagorean Theorem

free

Schmitty's Programs

Pythagorean Theorem is a text-based program that uses the formula A2 + B2 = C2 to calculate the length...

Pythagorean Theorem is a text-based program

Hayatleh-Math

free

Palestine

This program is designed to solve the mathematical problem of solids and shapes...

volume by using “Pythagorean Theorem”

ACL2

free

Matt Kaufmann and J Strother Moore University of Texas at Austin

ACL2 is both a programming language in which you can model computer...

logic, or a semi-automatic theorem prover, just

geometry1

free

Travis East

Geometry is a calculator which uses many of the formulas found in geometry...

calculations involving the pythagorean theorem, sine, cosine, tangent, special

Quincunx SPC Simulator DEMO

Symphony Technologies

Practitioners of Statistical Process Control (SPC) need to have a very clear understanding...

of the Central Limit Theorem -Effects of Subgroup Size

Theorem

Tags