Cauchy

 

Title:	Cauchy's Mean Theorem and the Cauchy-Schwarz Inequality
Author:	Benjamin Porter
Submission date:	2006-03-14
Abstract:	This document presents the mechanised proofs of two popular theorems attributed to Augustin Louis Cauchy - Cauchy's Mean Theorem and the Cauchy-Schwarz Inequality.

 

Proof outline Proof document

Browse theories

Download this entry

Older releases: Isabelle 2009: afp-Cauchy-2009-04-29.tar.gz Isabelle 2008: afp-Cauchy-2008-06-10.tar.gz Isabelle 2007: afp-Cauchy-2007-11-27.tar.gz Isabelle 2005: afp-Cauchy-2006-03-14.tar.gz