Laurent Théry

A Modular Formalisation of Finite Group Theory

Enrico Tassi, Assia Mahboubi, Georges Gonthier, 2007, TPHOLs.

A Machine-Checked Proof of the Odd Order Theorem

Jeremy Avigad, Andrea Asperti, Enrico Tassi, 2013, ITP.

Proving the group law for elliptic curves formally

Laurent Théry, L. Théry, 2007 .

Implementing Geometric Algebra Products with Binary Trees

Laurent Fuchs, Laurent Théry, Laurent Théry, 2014 .

Certifying large prime numbers : a purely functional library for modular arithmetic

Laurent Théry, B. Grégoire, L. Théry, 2006 .

Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics

Gilles Dowek, Yves Bertot, Laurent Théry, 1999 .

Implementing Geometric Algebra Products with Binary Trees

Laurent Théry, L. Fuchs, 2014, Advances in Applied Clifford Algebras.