Cauchy's Mean Theorem and the Cauchy-Schwarz Inequality

Benjamin Porter

March 14, 2006

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

Topics

Theories of Cauchy