Samuel Lelièvre

According to our database, Samuel Lelièvre authored at least 3 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.

Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Markus Pfeiffer, Nicolas M. Thiéry

CoRR, 2016

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.

Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesing

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

2013

The Sprawl Conjecture for Convex Bodies.

Moon Duchin, Samuel Lelièvre, Christopher Mooney

Exp. Math., 2013