Theorem Proving - Wolfram Demonstrations Project

Wolfram Demonstrations Project

Subscribe to RSS feed

Theorem Proving

Demonstrations 1 - 20 of 40


Beautiful Designs Made from Two Knights' Tours	Beautiful Designs Made from the Knight's Tour	Dudeney's Proof of the Pythagorean Theorem	Proof by Induction	Three Proofs of the Pythagorean Theorem

Limit Proofs Using Epsilon-Delta	Cosine and Sine of the Sum of Two Angles	Thales's Theorem: A Vector-Based Proof	The Pigeonhole Principle - Disk Coverings	Two Visual Proofs of a Basic Trigonometric Identity

Squares of Sine and Cosine	Dissection Proof of the Addition Formula for Sines	The Medians of a Triangle Divide It into Three Smaller Triangles of Equal Area	The Medians of a Triangle Are Concurrent: A Visual Proof	The Centroid of a Triangle Divides Each Median in the Ratio 1:2

Proving Euler's Polyhedral Formula by Deleting Edges	A Negative Times a Negative Is Positive	Da Vinci's Proof of the Pythagorean Theorem	Primality Formal System Explorer	tq-System Explorer

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 | RSS

Give us your feedback

Note: To run this Demonstration you need Mathematica 7+ or the free Mathematica Player 7EX