Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Rideau, Laurence
75  Ergebnisse:
Personensuche X
?
1

Accurate Calculation of Euclidean Norms using Double-Word A..:

Lefèvre, Vincent ; Louvet, Nicolas ; Muller, Jean-Michel..
ACM Transactions on Mathematical Software.  , 2022
Link: https://doi.org/10.1145/..
 
?
2

Formalization of Double-Word Arithmetic, and Comments on "T..:

Muller, Jean-Michel ; Rideau, Laurence
ACM Transactions on Mathematical Software.  48 (2022)  1 - p. 1-24 , 2022
Link: https://doi.org/10.1145/..
 
?
3

Formalization of Double-Word Arithmetic, and Comments on "T..:

Muller, Jean-Michel ; Rideau, Laurence
ACM Transactions on Mathematical Software (TOMS).  48 (2022)  1 - p. 1-24 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

Distant Decimals of $$\pi $$ π : Formal Proofs of Some Algo..:

Bertot, Yves ; Rideau, Laurence ; Théry, Laurent
Journal of Automated Reasoning.  61 (2017)  1-4 - p. 33-71 , 2017
Link: https://doi.org/10.1007/..
 
?
5

Formal proofs of transcendence for e and pi as an applicati..:

, In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs,
Bernard, Sophie ; Bertot, Yves ; Rideau, Laurence. - p. 76-87 , 2016
Link: https://dl.acm.org/doi/1..
 
?
6

Intelligent computer mathematics 

10th international conference, AISC 2010, 17th symposium, C...  Lecture notes in computer science ; 6167, Lecture notes in artificial intelligence
Autexier, Serge ; Calmet, Jacques ; Delahaye, David... , 2010
Link: http://dx.doi.org/10.100..
 
?
7

Proceedings of the 10th ASIC and 9th MKM international conf..:

Autexier, Serge ; Calmet, Jacques ; Delahaye, David... , 2010
Link: https://dl.acm.org/doi/1..
 
?
8

Tilting at Windmills with Coq: Formal Verification of a Com..:

Rideau, Laurence ; Serpette, Bernard Paul ; Leroy, Xavier
Journal of Automated Reasoning.  40 (2008)  4 - p. 307-326 , 2008
Link: https://doi.org/10.1007/..
 
?
9

as Authoring Tool for Formal Developments:

Audebaud, Philippe ; Rideau, Laurence
Electronic Notes in Theoretical Computer Science.  103 (2004)  - p. 27-48 , 2004
Link: https://doi.org/10.1016/..
 
?
10

Accurate calculation of Euclidean Norms using Double-word a..:

Lefèvre, Vincent ; Louvet, Nicolas ; Muller, Jean-Michel..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3568672.  , 2023
Link: https://hal.science/hal-..
 
?
11

Accurate calculation of Euclidean Norms using Double-word a..:

Lefèvre, Vincent ; Louvet, Nicolas ; Muller, Jean-Michel..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3568672.  , 2023
Link: https://hal.science/hal-..
 
?
12

Accurate calculation of Euclidean Norms using Double-word a..:

Lefèvre, Vincent ; Louvet, Nicolas ; Muller, Jean-Michel..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3568672.  , 2023
Link: https://hal.science/hal-..
 
?
13

Accurate calculation of Euclidean Norms using Double-word a..:

Lefèvre, Vincent ; Louvet, Nicolas ; Muller, Jean-Michel..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3568672.  , 2023
Link: https://hal.science/hal-..
 
?
14

Accurate calculation of Euclidean Norms using Double-word a..:

Lefèvre, Vincent ; Louvet, Nicolas ; Muller, Jean-Michel..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3568672.  , 2023
Link: https://hal.science/hal-..
 
?
15

Formalization of double-word arithmetic, and comments on "T..:

Muller, Jean-Michel ; Rideau, Laurence
info:eu-repo/semantics/altIdentifier/doi/10.1145/3484514.  , 2022
Link: https://hal.science/hal-..
 
1-15