Wolfram Demonstrations Project
Theorem Proving
« PREVIOUS  |1|2
Demonstrations 21 - 40 of 40
MIU Explorerpq-System ExplorerThe Sum of the Interior Angles of a Triangle Equals 180 Degrees by Paper FoldingThe Seven Circles TheoremThe Arithmetic-Geometric Mean Inequality (III)
MIU Explorer
pq-System Explorer
The Sum of the Interior Angles of a Triangle Equals 180 Degrees by Paper Folding
The Seven Circles Theorem
The Arithmetic-Geometric Mean Inequality (III)
The Arithmetic-Geometric Mean Inequality (II)Mamikon's Proof of the Pythagorean TheoremSum of the Alternating Harmonic Series (II)Sum of the Alternating Harmonic Series (I)Sum of a Geometric Series
The Arithmetic-Geometric Mean Inequality (II)
Mamikon's Proof of the Pythagorean Theorem
Sum of the Alternating Harmonic Series (II)
Sum of the Alternating Harmonic Series (I)
Sum of a Geometric Series
A Monotone Sequence Bounded by eSum of a Telescoping Series (II)The Arithmetic-Geometric Mean Inequality (I)Limit of the Sum of Two SequencesBinary Operators Satisfying Two Axioms
A Monotone Sequence Bounded by e
Sum of a Telescoping Series (II)
The Arithmetic-Geometric Mean Inequality (I)
Limit of the Sum of Two Sequences
Binary Operators Satisfying Two Axioms
The Pigeonhole Principle - RepunitsThe Primes Are InfiniteMinimal Disjunctive Normal FormSkolemizationFormula Generator
The Pigeonhole Principle - Repunits
The Primes Are Infinite
Minimal Disjunctive Normal Form
Skolemization
Formula Generator

« PREVIOUS  |1|2
 
RELATED RESOURCES
Mathematica »
The #1 tool for creating Demonstrations
and anything technical. 		Wolfram|Alpha »
Explore anything with the first
computational knowledge engine.		MathWorld »
The web's most extensive
mathematics resource.		Course Assistant Apps »
An app for every course—
right in the palm of your hand.
Wolfram Blog »
Read our views on math,
science, and technology.		Computable Document Format »
The format that makes Demonstrations
(and any information) easy to share and interact with.		STEM Initiative »
Programs & resources for
educators, schools & students.		Computerbasedmath.org »
Join the initiative for modernizing
math education.
Powered by Wolfram Mathematica © 2013 Wolfram Demonstrations Project & Contributors  |  Terms of Use  |  Privacy Policy  |  RSSGive us your feedback
Note: To run this Demonstration you need Mathematica 7+ or the free Mathematica Player 7EX
Download or upgrade to Mathematica Player 7EX
I already have Mathematica Player or Mathematica 7+