Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL
Journal of Automated Reasoning
Proving valid quantified Boolean formulas in HOL light
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Formal probabilistic analysis of cyber-physical transportation systems
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
Journal of Automated Reasoning
Hi-index | 0.00 |
Statement ~rational(sqrt(&2)) Definitions Definition of sqrt let root = new_definition 'root(n) x = @u. (&0 &0 let sqrt = new_definition 'sqrt(x) = root(2) x';;