%0 Conference Paper %1 conf/mkm/AllamigeonGMW13 %A Allamigeon, Xavier %A Gaubert, Stéphane %A Magron, Victor %A Werner, Benjamin %B MKM/Calculemus/DML %D 2013 %E Carette, Jacques %E Aspinall, David %E Lange, Christoph %E Sojka, Petr %E Windsteiger, Wolfgang %I Springer %K %P 51-65 %T Certification of Bounds of Non-linear Functions: The Templates Method. %U http://dblp.uni-trier.de/db/conf/mkm/mkm2013.html#AllamigeonGMW13 %V 7961 %@ 978-3-642-39319-8

@inproceedings{conf/mkm/AllamigeonGMW13, added-at = {2023-12-14T14:24:20.000+0100}, author = {Allamigeon, Xavier and Gaubert, Stéphane and Magron, Victor and Werner, Benjamin}, biburl = {https://www.bibsonomy.org/bibtex/2200cc8d8b24cd6d0c5d33f3a178bced1/admin}, booktitle = {MKM/Calculemus/DML}, crossref = {conf/mkm/2013}, editor = {Carette, Jacques and Aspinall, David and Lange, Christoph and Sojka, Petr and Windsteiger, Wolfgang}, ee = {https://doi.org/10.1007/978-3-642-39320-4_4}, interhash = {df5db8002d1ca633a99d239f46a962d5}, intrahash = {200cc8d8b24cd6d0c5d33f3a178bced1}, isbn = {978-3-642-39319-8}, keywords = {}, pages = {51-65}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T14:24:20.000+0100}, title = {Certification of Bounds of Non-linear Functions: The Templates Method.}, url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2013.html#AllamigeonGMW13}, volume = 7961, year = 2013 }