柯西 swMATH ID: 28794 软件作者： 本杰明·波特 描述： Cauchy中值定理和Cauchy-Schwarz不等式。本文给出了奥古斯丁-路易斯-柯西中值定理和柯西-施瓦兹不等式的两个流行定理的机械化证明 主页： https://www.isa-afp.org/entries/Cauchy.html 依赖项： 伊莎贝尔 相关软件： 存档正式证据；MML公司；米扎尔；伊莎贝尔/HOL 引用于： 2文件 5位作者引用 1 David A.Basin。 1 斯尔詹·卡普昆 1 亚当·格拉博夫斯基 1 帕特里克·沙勒 1 Benedikt施密特 连载1篇 1 形式化数学 在4个字段中引用 1 数学逻辑和基础（03-XX） 1 实函数（26年X月X日） 1 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文