Paul Geneau de Lamarlière

According to our database, Paul Geneau de Lamarlière authored at least 3 papers between 2023 and 2024.

Collaborative distances:

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

2024

CoqInterval.

Paul Geneau de Lamarlière, Guillaume Melquiond

Dataset, November, 2024

End-To-End Formal Verification of a Fast and Accurate Floating-Point Approximation.

Florian Faissole, Paul Geneau de Lamarlière, Guillaume Melquiond

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023

Slimmer Formal Proofs for Mathematical Libraries.

Paul Geneau de Lamarlière, Guillaume Melquiond, Florian Faissole

Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023