Author:
Julien Nicolas,Paşca Ioana
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development, Coq’Art:the Calculus of Inductive Constructions. Springer, Heidelberg (2004)
2. Bertot, Y., Magaud, N., Zimmermann, P.: A Proof of GMP Square Root. J. Autom. Reasoning 29(3-4), 225–252 (2002)
3. Brent, R.P., Zimmermann, P.: Modern Computer Arithmetic (2006) (in preparation),
http://www.loria.fr/zimmerma/mca/pub226.html
4. Coq development team. The Coq Proof Assistant Reference Manual, version 8.1. (2006)
5. Lecture Notes in Computer Science;L. Cruz-Filipe,2004
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献