Laurence Rideau

According to our database1, Laurence Rideau
  • authored at least 14 papers between 1994 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Distant decimals of $π$.
CoRR, 2017

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

2015
Formal Proofs of Transcendence for e and $π$ as an Application of Multivariate and Symmetric Polynomials.
CoRR, 2015

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


  Loading...