Author:
Chollet Agathe,Wallet Guy,Fuchs Laurent,Andres Eric,Largeteau-Skapin Gaëlle
Subject
General Computer Science,Theoretical Computer Science
Reference31 articles.
1. Interactive Theorem Proving and Program Development, Coq’Art: The Calculus of Inductive Constructions;Bertot,2004
2. Constructive mathematics: a foundation for computable analysis;Bridges;Theoretical Computer Science,1999
3. D. Bridges, S. Reeves, Constructive mathematics, in: theory and programming practice, Technical Report CDMTCS-068, Centre for Discrete Mathematics and Theorical Computer Science, November 1997.
4. Ω-arithmetization of ellipses;Chollet,2010
5. Insight in discrete geometry and computational content of a discrete model of the continuum;Chollet;Pattern recognition,2009
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献