{"id":762,"date":"2017-02-14T18:13:54","date_gmt":"2017-02-14T17:13:54","guid":{"rendered":"http:\/\/www.ens-lyon.fr\/LIP\/AriC\/?page_id=762"},"modified":"2017-02-14T18:13:54","modified_gmt":"2017-02-14T17:13:54","slug":"floating-point-arithmetic-in-aric","status":"publish","type":"page","link":"https:\/\/www.ens-lyon.fr\/LIP\/AriC\/floating-point-arithmetic-in-aric","title":{"rendered":"Floating-point arithmetic in AriC"},"content":{"rendered":"<p>The IEEE 754-2008 standard specifies the behavior of floating-point arithmetic. We are interested in preparing future evolutions of the standard, in implementing it efficiently on embedded processors, in exploring its \u201clow level\u201d properties for better numerical analysis (for instance by finding certified and tight error bounds of numerical algorithms), and in building correctly rounded mathematical function programs. We are also interested in designing efficient algorithms and software for multiple-precision arithmetic and complex arithmetic.<\/p>\n<p>Members of the team participating in this activity are:<\/p>\n<ul>\n<li>Florent Br\u00e9hard\n<\/li>\n<li><a href=\"http:\/\/perso.ens-lyon.fr\/nicolas.brisebarre\/\">Nicolas Brisebarre<\/a>\n<\/li>\n<li><a href=\"http:\/\/perso.ens-lyon.fr\/guillaume.hanrot\/\">Guillaume Hanrot<\/a>\n<\/li>\n<li><a href=\"http:\/\/perso.ens-lyon.fr\/claude-pierre.jeannerod\/\">Claude-Pierre Jeannerod<\/a>\n<\/li>\n<li><a href=\"https:\/\/www.vinc17.net\/\">Vincent Lef\u00e8vre<\/a>\n<\/li>\n<li><a href=\"http:\/\/perso.ens-lyon.fr\/nicolas.louvet\/\">Nicolas Louvet<\/a>\n<\/li>\n<li><a href=\"http:\/\/perso.ens-lyon.fr\/jean-michel.muller\/\">Jean-Michel Muller<\/a>\n<\/li>\n<li><a href=\"http:\/\/perso.ens-lyon.fr\/antoine.plet\/\">Antoine Plet<\/a>\n<\/li>\n<li><a href=\"http:\/\/perso.ens-lyon.fr\/valentina.popescu\/\">Valentina Popescu<\/a>\n<\/li>\n<li><a href=\"http:\/\/perso.ens-lyon.fr\/nathalie.revol\/\">Nathalie Revol<\/a>\n<\/li>\n<li><a href=\"http:\/\/perso.ens-lyon.fr\/laurent.thevenoux\/\">Laurent Th\u00e9venoux<\/a>\n<\/li>\n<li><a href=\"http:\/\/perso.ens-lyon.fr\/serge.torres\/\">Serge Torres<\/a>\n<\/li>\n<li><a href=\"http:\/\/perso.ens-lyon.fr\/gilles.villard\/\">Gilles Villard<\/a>\n<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>The IEEE 754-2008 standard specifies the behavior of floating-point arithmetic. We are interested in preparing future evolutions of the standard, in implementing it efficiently on embedded processors, in exploring its \u201clow level\u201d properties for better numerical analysis (for instance by finding certified and tight error bounds of numerical algorithms), and in building correctly rounded mathematical &hellip; <a href=\"https:\/\/www.ens-lyon.fr\/LIP\/AriC\/floating-point-arithmetic-in-aric\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Floating-point arithmetic in AriC<\/span> <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"inline_featured_image":false,"footnotes":""},"class_list":["post-762","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/AriC\/wp-json\/wp\/v2\/pages\/762","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/AriC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/AriC\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/AriC\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/AriC\/wp-json\/wp\/v2\/comments?post=762"}],"version-history":[{"count":1,"href":"https:\/\/www.ens-lyon.fr\/LIP\/AriC\/wp-json\/wp\/v2\/pages\/762\/revisions"}],"predecessor-version":[{"id":763,"href":"https:\/\/www.ens-lyon.fr\/LIP\/AriC\/wp-json\/wp\/v2\/pages\/762\/revisions\/763"}],"wp:attachment":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/AriC\/wp-json\/wp\/v2\/media?parent=762"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}