Formalization of the Complex Number Theory in HOL4
Formalization of the Complex Number Theory in HOL4
复制标题
HOL4 中复数论的形式化
DOI：
10.12785/amis/070135
复制
发表时间：
2013
影响因子：
--
通讯作者：
JIE ZHANG
中科院分区：
文献类型：
--
作者：
YONG GUAN;XIAOYU SONG;MINHUA WU;JIE ZHANG
本文将复数理论形式化，并将复数定理库嵌入到高阶逻辑定理证明器HOL4中。定理库通过 R £R 类型缩写引入数据类型 C，并定义算术
In this paper, the theory of complex numbers is formalized and the theorem library of complex numbers is embedded in HOL4, the theorem prover of High Order Logics. The theorem library introduces a data typeC by anR £R type abbreviation, and defines arithm
DOI：
--
发表时间：
1996-12
期刊：
--
影响因子：
--
作者：
Eduardo Giménez;Christine Paulin-Mohring
通讯作者：
Eduardo Giménez;Christine Paulin-Mohring
DOI：
--
发表时间：
1996
期刊：
--
影响因子：
--
作者：
J. Harrison
通讯作者：
J. Harrison
DOI：
10.1007/10703.1572-8102
发表时间：
1999
期刊：
--
影响因子：
--
作者：
R. Alur;Andrei BroderMonika Henzinger
通讯作者：
R. Alur;Andrei BroderMonika Henzinger