The Gauge Integral Theory in HOL4
The Gauge Integral Theory in HOL4
复制标题
HOL4 中的规范积分理论
DOI：
10.1155/2013/160875
复制
发表时间：
2013-05
影响因子：
--
通讯作者：
Wei Hongxing
中科院分区：
文献类型：
--
作者：
Guan Yong;Ye Shiwei;Zhang Jie;Wei Hongxing
积分是动力系统建模的重要基础之一。规范积分是黎曼积分和勒贝格积分的推广，适用于更广泛的函数类。在本文中，我们形式化的
The integral is one of the most important foundations for modeling dynamical systems. The gauge integral is a generalization of the Riemann integral and the Lebesgue integral and applies to a much wider class of functions. In this paper, we formalize the
登录
查看更多内容
DOI：
10.1145/307988.307989
发表时间：
1999-04
期刊：
ACM Trans. Design Autom. Electr. Syst.
影响因子：
--
作者：
Christoph Kern;M. Greenstreet
通讯作者：
Christoph Kern;M. Greenstreet
DOI：
10.1007/3-540-44659-1_10
发表时间：
2000-08
期刊：
--
影响因子：
--
作者：
Jacques D. Fleuriot
通讯作者：
Jacques D. Fleuriot
DOI：
10.1090/s0002-9904-1917-03010-8
发表时间：
1917-10
影响因子：
1.3
作者：
G. Bliss
通讯作者：
G. Bliss
DOI：
10.1007/978-3-642-14052-5_27
发表时间：
2010-07
期刊：
--
影响因子：
--
作者：
Tarek Mhamdi;O. Hasan;S. Tahar
通讯作者：
Tarek Mhamdi;O. Hasan;S. Tahar
DOI：
10.1090/gsm/004
发表时间：
1994-08
期刊：
--
影响因子：
--
作者：
Russell A. Gordon
通讯作者：
Russell A. Gordon