Funder
National Key R & D Plan
National Natural Science Foundation of China
Capacity Building for Sci-Tech Innovation-Fundamental Scientific Research Funds
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference18 articles.
1. Formal proof: getting started;Wiedijk;Not. Am. Math. Soc.,2008
2. HOL Light: an overview;Harrison,2009
3. A brief overview of HOL4;Slind,2008
4. Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm;Ma;Adv. Appl. Clifford Algebras,2016
5. The formalization of discrete Fourier transform in HOL;Shi;Math. Probl. Eng.,2015
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献