Samuel Lelièvre

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 2

Top Topics

Convex Relaxation

Semantic Interoperability

Project Management

Software Development

Top Venues

Publications

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
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CICM (2016)
Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Markus Pfeiffer, Nicolas M. Thiéry
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CoRR (2016)
Moon Duchin, Samuel Lelièvre, Christopher Mooney
The Sprawl Conjecture for Convex Bodies. Exp. Math. 22 (2) (2013)