The Gauge Integral Theory in HOL4.

Zhiping Shi Weiqing Gu Xiaojuan Li Yong Guan Shiwei Ye Jie Zhang Hongxing Wei

Published in: J. Appl. Math. (2013)

Keyphrases

theoretical basis
computational model
formal methods
data mining
information systems
relational databases
databases
artificial intelligence
special case
higher order
theorem prover
general theory
formal theory