.:. Browse > By authors > Rideau .:.

7 documents ordered by : Date Title first author name document type Submit date

A Modular Formalisation of Finite Group Theory Gonthier G., Mahboubi A., Rideau L., Tassi E., Théry L. N° RR-6156 (2007) [inria-00139131 - version 2]

Formalising Sylow's theorems in Coq Thery L., Rideau L. N° RT-0327 (2006) [inria-00113750 - version 2]

Mathematics and Proof Presentation in Pcoq Amerkad A., Bertot Y., Pottier L., Rideau L. N° RR-4313 (2001) [inria-00072274 - version 1]

Affichage et manipulation interactive de formules mathématiques dans les documents structurés Naciri H., Rideau L. N° RR-4140 (2001) [inria-00072486 - version 1]

Interactive Programming Environment for ML Rideau L., Théry L. N° RR-3139 (1997) [inria-00073550 - version 1]

Distributed Architecture for Programming Environments Dery A.-M., Rideau L. N° RR-2918 (1996) [inria-00073779 - version 1]

Distributed programming environments: an example of a message protocol Dery A.-M., Rideau L. N° RT-0165 (1994) [inria-00070004 - version 1]