# Laurence Rideau

According to our database

Collaborative distances:

^{1}, Laurence Rideau authored at least 13 papers between 1994 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Distant Decimals of π : Formal Proofs of Some Algorithms Computing Them and Guarantees of Exact Computation.

J. Autom. Reasoning, 2018

2016

Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials.

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2013

Certified, Efficient and Sharp Univariate Taylor Models in COQ.

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

A Machine-Checked Proof of the Odd Order Theorem.

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

Rigorous Polynomial Approximation Using Taylor Models in Coq.

Proceedings of the NASA Formal Methods, 2012

2011

Incidence Simplicial Matrices Formalized in Coq/SSReflect.

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2009

Packaging Mathematical Structures.

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2008

Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves.

J. Autom. Reasoning, 2008

2007

A Modular Formalisation of Finite Group Theory.

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

2004

TEXmacs as Authoring Tool for Formal Developments.

Electr. Notes Theor. Comput. Sci., 2004

2001

A Generic Library for Floating-Point Numbers and Its Application to Exact Computing.

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

1999

CtCoq: an environment for mathematical reasoning.

ACM SIGSAM Bulletin, 1999

1994

Towards a multi-formalism framework for architectural synthesis: the ASAR project.

Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994