Author:
Magaud Nicolas,Narboux Julien,Schreck Pascal
Subject
Computational Mathematics,Computational Theory and Mathematics,Control and Optimization,Geometry and Topology,Computer Science Applications
Reference25 articles.
1. Interactive Theorem Proving and Program Development, CoqʼArt: The Calculus of Inductive Constructions;Bertot,2004
2. On the mechanization of the proof of Hessenbergʼs theorem in coherent logic;Bezem;J. of Automated Reasoning,2008
3. Using three-valued logic to specify and verify algorithms of computational geometry;Brandt,2005
4. Handbook of Incidence Geometry,1995
5. Non-Desargusian geometries and the foundations of geometry from David Hilbert to Ruth Moufang;Cerroni;Historia Mathematica,2004
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献