%0 Conference Paper %1 conf/dagstuhl/CasadoC08 %A de Miguel Casado, Gregorio %A Chamizo, Juan Manuel García %B Numerical Validation in Current Hardware Architectures %D 2008 %E Cuyt, Annie A. M. %E Krämer, Walter %E Luther, Wolfram %E Markstein, Peter W. %I Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany %K dblp %T A Software Library for Reliable Online-Arithmetic with Rational Numbers. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P8021.html#CasadoC08 %V 08021

@inproceedings{conf/dagstuhl/CasadoC08, added-at = {2018-08-23T00:00:00.000+0200}, author = {de Miguel Casado, Gregorio and Chamizo, Juan Manuel García}, biburl = {https://www.bibsonomy.org/bibtex/29075c41689c80572e58418648e2c8d24/dblp}, booktitle = {Numerical Validation in Current Hardware Architectures}, crossref = {conf/dagstuhl/2008P8021}, editor = {Cuyt, Annie A. M. and Krämer, Walter and Luther, Wolfram and Markstein, Peter W.}, ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1439}, interhash = {30413c3f008ddddcd1850168d87e152d}, intrahash = {9075c41689c80572e58418648e2c8d24}, keywords = {dblp}, publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:24:20.000+0200}, title = {A Software Library for Reliable Online-Arithmetic with Rational Numbers.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P8021.html#CasadoC08}, volume = 08021, year = 2008 }