.:. Browse > By laboratory > MARELLE .:.

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

A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry Fuchs L., Thery L. Dans Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers - Automated Deduction in Geometry, ADG 2010, Allemagne (2010) [hal-00657901 - version 1]

Composants mathématiques pour la théorie des groupes Ould Biha S. Université de Nice Sophia-Antipolis (24/02/2010), Laurent Théry (Dir.) [tel-00493524 - version 1]

Packaging Mathematical Structures Garillot F., Gonthier G., Mahboubi A., Rideau L. Theorem Proving in Higher Order Logics, Germany (2009) [inria-00368403 - version 2]

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