Author:
Brun Christophe,Dufourd Jean-François,Magaud Nicolas
Subject
Computational Mathematics,Computational Theory and Mathematics,Control and Optimization,Geometry and Topology,Computer Science Applications
Reference35 articles.
1. Interactive Theorem Proving and Program Development;Bertot,2004
2. A proof of GMP square root;Bertot;Journal of Automated Reasoning,2002
3. Algebraic specification of a 3D-modeler based on hypermaps;Bertrand;CVGIP: Graphical Models and Image Processing,1994
4. Algorithmic Geometry;Boissonnat,1998
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献