Cauchy's Mean Theorem and the Cauchy-Schwarz Inequality (Q7361468)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Cauchy
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Cauchy's Mean Theorem and the Cauchy-Schwarz Inequality |
AFP entry Cauchy |
Statements
14 March 2006
0 references
Benjamin Porter
0 references
Cauchy's Mean Theorem and the Cauchy-Schwarz Inequality (English)
0 references
This document presents the mechanised proofs of two popular theorems attributed to Augustin Louis Cauchy - Cauchy's Mean Theorem and the Cauchy-Schwarz Inequality.
0 references
