Featured

Theorem

Software

TrigAid

Praeter Software

TrigAid helps you learn the material by showing you the formula and the correct calculation...

TrigAid helps you learn the material by showing you the formula and the correct calculation

free

Parabivg

Parabinomial Theorem is an application that allows you to perform complicated binomial expansion...

Parabinomial Theorem is an application

free

Paul Falstad

This java applet demonstrates properties...

This java applet demonstrates properties of vector fields. You may select one of many vector

Yongyang Nie

Math Tree is a multi...

application includes the Pythagorean theorem, factoring, trigonometric basic

free

mccune

Prover9 is an automated theorem prover for first-order and equational logic...

Prover9 is an automated theorem prover for first-order

free

Georgia Tech Research Corporation and Northeastern University.

ACL2 is a powerful system for integrated modeling...

of the most complex theorems to have undergone mechanical...about industrial-strength theorem proving

mathsteacher

Year 9 Interactive Maths (Second Edition) by G S Rehill...

Equations and Inequalities, Pythagoras Theorem, Linear Graphs, Simultaneous Equations

Newhaven Software

Sports prediction and betting software. Generates performance-based odds for the upcoming games in any league sports...

distribution. Based upon new theorem, Stake Wizard 4