Victor Magron
Verimag’s member
http://www-verimag.imag.fr/PEOPLE/V... :
http://www-verimag.imag.fr/PEOPLE/Victor.Magron/
Send a private message to this author
Send a message
Your email address (Required)
Subject (Required)
Text of your message: (Required)
Please leave this field empty:
Articles by this author
PhD: Certified roundoff error bounds for programs with loops using polynomial optimization
Friday 1 December 2017
All authors
Ananda Basu
Andreas
Ayoub Nouri
Benoit Boyer
bouhadiba
boulme
Bouyssounouse
bozga
Bruno Ferres
Catherine Parent-Vigouroux
Claire Maiza
cristian.ene@univ-grenoble-alpes.fr
dang
Devismes
devismes
Florence Maraninchi
Florent Garnier
frehse
gerbaud
graf
halbwachs
invite
Jacques Combaz
jahier
jarabo
Jobstmann
karine
lafourcade
Lebeltel
Lionel Rieg
maler
Mayur Maheshwari
monin
monniaux
mounier
moy
Nicolas Basset
perin
Petro Poplavko
Pierre Corbineau
potet
poulhies
Radu Iosif
raymond
stef
Victor Magron
Browsing
Sections
Verimag
Members
Publications
Tools
Ongoing Phd Thesis
Jobs and Internships
Projects
Partners
Workshops and Conferences
Seminars
Documents
Topics
PACS
MOHYTOS
Shared Resources
ETiCS
FETLAS
Formal Proofs
Contact
Whom to contact
How to reach us
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 4.2.16
+
AHUNTSIC
[CC License]
info visites
4121951
English
Français