Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Boldo, Sylvie"" wg kryterium: Autor


Tytuł:
Computing a Correct and Tight Rounding Error Bound Using Rounding-to-Nearest
Autorzy:
Boldo, SylvieAff16, Aff17
Pokaż więcej
Źródło:
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers. 10152:47-51
Książka elektroniczna
Tytuł:
Formal Verification of Programs Computing the Floating-Point Average
Autorzy:
Boldo, Sylvie
Pokaż więcej
Źródło:
Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. 9407:17-32
Książka elektroniczna
Tytuł:
Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives
Autorzy:
Boldo, SylvieAff18, Aff19
Lelay, CatherineAff18, Aff19
Melquiond, GuillaumeAff18, Aff19
Pokaż więcej
Źródło:
Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings. 7679:289-304
Książka elektroniczna
Tytuł:
Floats and Ropes: A Case Study for Formal Numerical Program Verification
Autorzy:
Boldo, SylvieAff21, Aff22
Pokaż więcej
Źródło:
Automata, Languages and Programming : 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II. 5556:91-102
Książka elektroniczna
Tytuł:
Combining Coq and Gappa for Certifying Floating-Point Programs
Autorzy:
Boldo, SylvieAff23, Aff24
Filliâtre, Jean-ChristopheAff24, Aff23
Melquiond, GuillaumeAff23, Aff24
Pokaż więcej
Źródło:
Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. 5625:59-74
Książka elektroniczna
Tytuł:
Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms
Autorzy:
Boldo, Sylvie
Pokaż więcej
Źródło:
Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings. 4130:52-66
Książka elektroniczna

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies