图书章节

FormalizingONotation in Isabelle/HOL 收藏

形式化Isabelle / HOL中的注释
原文求助 发布源
作者
Jeremy Avigad1;Kevin Donnelly1
作者单位
1.Carnegie Mellon University
页码
357-371
DOI
10.1007/978-3-540-25984-8_27
来源信息
Automated Reasoning ISBN：9783540223450, 2004年, 357-371页
摘要
We describe a formalization of asymptotic O notation using the Isabelle/HOL proof assistant.
摘要译文
我们用Isabelle / HOL证明助手描述渐近O符号的形式化。
Jeremy Avigad1;Kevin Donnelly1. FormalizingONotation in Isabelle/HOL. Automated Reasoning[M].DE: Springer;LNCS, 2004: 357-371