( en | de | ru )

 

Disambiguation of "Rideau, Laurence"

Author of the publication

copydeleteadd this publication to your clipboard
Intelligent Computer Mathematics

, , , , , , and (Eds.) 6167, Springer Verlag, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Laurence Lapopin

Laurence Germond

Laurence Vidrascu

Laurence Tricot

Laurence Clark

 

Other publications of authors with the same name

Towards a multi-formalism framework for architectural synthesis: the ASAR project., , , , , , , , , and 4 other author(s). CODES, page 25-32. IEEE Computer Society, (1994)Accurate Calculation of Euclidean Norms Using Double-word Arithmetic., , , , and . ACM Trans. Math. Softw., 49 (1): 1:1-1:34 (March 2023)TEXmacs as Authoring Tool for Formal Developments., and . UITP@TPHOLs, volume 103 of Electronic Notes in Theoretical Computer Science, page 27-48. Elsevier, (2003)Formal Proofs of Transcendence for e and $π$ as an Application of Multivariate and Symmetric Polynomials., , , and . CoRR, (2015)Distant decimals of $π$., , and . CoRR, (2017)Affichage et manipulation interactive de formules mathématiques dans les documents structurés., and . ARIMA J., (2002)Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials., , , and . CPP, page 76-87. ACM, (2016)Formalization of Double-Word Arithmetic, and Comments on "Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic"., and . ACM Trans. Math. Softw., 48 (1): 9:1-9:24 (2022)Distant Decimals of π : Formal Proofs of Some Algorithms Computing Them and Guarantees of Exact Computation., , and . J. Autom. Reason., 61 (1-4): 33-71 (2018)