Author:
Brun Christophe,Dufourd Jean-François,Magaud Nicolas
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. LNCS;E. Alkassar,2011
2. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development, Coq’Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science, An EATCS Series. Springer (2004)
3. Bertot, Y., Magaud, N., Zimmermann, P.: A Proof of GMP Square Root. Journal of Automated Reasoning 29(3-4), 225–252 (2002)
4. Lecture Notes in Computer Science;Y. Bertrand,1993
5. Brun, C., Dufourd, J.-F., Magaud, N.: Formal Proof of the Incremental Convex Hull Algorithm,
http://galapagos.gforge.inria.fr
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献