SourceForge.net Logo
project summary

 

Cauchy's Mean Theorem and the Cauchy-Schwarz Inequality

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.
License: BSD License