The Sprawl Conjecture for Convex Bodies. - Moon Duchin; Samuel Lelièvre; Christopher Mooney (Exp. Math., 2013)

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. - Paul-Olivier Dehaye; Mihnea Iancu; Michael Kohlhase; Alexander Konovalov 001; Samuel Lelièvre; Dennis Müller 001; Markus Pfeiffer; Florian Rabe 001; Nicolas M. Thiéry; Tom Wiesing (CICM, 2016)

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. - Paul-Olivier Dehaye; Michael Kohlhase; Alexander Konovalov 001; Samuel Lelièvre; Markus Pfeiffer; Nicolas M. Thiéry (CoRR, 2016)