{"id":764,"date":"2017-02-14T18:18:07","date_gmt":"2017-02-14T17:18:07","guid":{"rendered":"http:\/\/www.ens-lyon.fr\/LIP\/AriC\/?page_id=764"},"modified":"2017-02-16T12:10:37","modified_gmt":"2017-02-16T11:10:37","slug":"certified-computing-and-computer-algebra-in-aric","status":"publish","type":"page","link":"https:\/\/www.ens-lyon.fr\/LIP\/AriC\/certified-computing-and-computer-algebra-in-aric","title":{"rendered":"Certified computing and computer algebra in AriC"},"content":{"rendered":"<p>We are interested in computing certified approximations using computer algebra and formal proof systems, in analyzing the fundamental algorithms of semi-numerical computation, in finding best or nearly best approximations under special constraints, and in designing efficient algorithms for exact linear algebra. Also, we are working on the development and standardization of interval arithmetic.<\/p>\n<p>Members of the team participating in this activity are:<\/p>\n<ul>\n<li><a href=\"http:\/\/www.unilim.fr\/pages_perso\/paola.boito\/\">Paola Boito<\/a>\n<\/li>\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=\"https:\/\/cs.uwaterloo.ca\/~smelczer\/\">Stephen Melczer<\/a><\/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\/bruno.salvy\/\">Bruno Salvy<\/a><\/li>\n<li><a href=\"http:\/\/perso.ens-lyon.fr\/damien.stehle\/\">Damien Stehl\u00e9<\/a><\/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>We are interested in computing certified approximations using computer algebra and formal proof systems, in analyzing the fundamental algorithms of semi-numerical computation, in finding best or nearly best approximations under special constraints, and in designing efficient algorithms for exact linear algebra. Also, we are working on the development and standardization of interval arithmetic. Members of &hellip; <a href=\"https:\/\/www.ens-lyon.fr\/LIP\/AriC\/certified-computing-and-computer-algebra-in-aric\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Certified computing and computer algebra 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-764","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/AriC\/wp-json\/wp\/v2\/pages\/764","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=764"}],"version-history":[{"count":4,"href":"https:\/\/www.ens-lyon.fr\/LIP\/AriC\/wp-json\/wp\/v2\/pages\/764\/revisions"}],"predecessor-version":[{"id":844,"href":"https:\/\/www.ens-lyon.fr\/LIP\/AriC\/wp-json\/wp\/v2\/pages\/764\/revisions\/844"}],"wp:attachment":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/AriC\/wp-json\/wp\/v2\/media?parent=764"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}