1. Recherche
13 résultats  enregistrer la recherche
...
inria-00073550v1  Rapport
Laurence Rideau, Laurent Théry. Interactive Programming Environment for ML
RR-3139, INRIA. 1997
...
inria-00073414v1  Rapport
Laurent Théry. Proving and Computing: a Certified Version of the Buchberger's Algorithm
RR-3275, INRIA. 1997
...
inria-00074217v1  Rapport
Yann Coscoy, Gilles Kahn, Laurent Thery. Extracting Text from Proofs
RR-2459, INRIA. 1995
...
inria-00076907v1  Rapport
Laurent Thery, Yves Bertot, Gilles Kahn. Real theorem provers deserve real user-interfaces
[Research Report] RR-1684, INRIA. 1992
...
inria-00073886v1  Rapport
Amy Felty, Laurent Théry. Interactive Theorem Proving with Temporal Logic
RR-2804, INRIA. 1996
...
inria-00070394v1  Rapport
Laurent Théry. Simplifying Polynomial Expressions in a Proof Assistant
[Research Report] RR-5614, INRIA. 2005, pp.16
...
inria-00129237v4  Rapport
Laurent Thery. Proving the group law for elliptic curves formally
[Technical Report] RT-0330, INRIA. 2007, pp.16
...
inria-00072235v1  Rapport
Laurent Théry. Stålmarck's Algorithm in Coq: A Three-Level Approach
RR-4353, INRIA. 2002
...
inria-00072536v1  Rapport
Marc Daumas, Claire Moreau-Finot, Laurent Théry. Computer Validated Proofs of a Toolset for Adaptable Arithmetic
[Research Report] RR-4095, INRIA. 2001
...
inria-00113750v2  Rapport
Laurent Thery, Laurence Rideau. Formalising Sylow's theorems in Coq
[Technical Report] RT-0327, INRIA. 2006, pp.23
...
inria-00069891v1  Rapport
Laurent Théry. A Table-Driven Compiler for Pretty Printing Specifications
[Technical Report] RT-0288, INRIA. 2003, pp.31
...
inria-00071985v1  Rapport
Laurent Théry. A Tour of Formal Verification with Coq:Knuth's Algorithm for Prime Numbers
RR-4600, INRIA. 2002
...
inria-00139131v2  Rapport
Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry. A Modular Formalisation of Finite Group Theory
[Research Report] RR-6156, INRIA. 2007, pp.17

Contact


archive-ouverte@inria.fr