Search dblp for Publications

export results for "toc:db/journals/iandc/iandc216.bht:"

 download as .bib file

@article{DBLP:journals/iandc/Chevillard12,
  author    = {Sylvain Chevillard},
  title     = {The functions erf and erfc computed with arbitrary precision and explicit
               error bounds},
  journal   = {Inf. Comput.},
  volume    = {216},
  pages     = {72--95},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.ic.2011.09.001},
  doi       = {10.1016/j.ic.2011.09.001},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/Chevillard12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DaumasB12,
  author    = {Marc Daumas and
               Javier D. Bruguera},
  title     = {8th Conference on Real Numbers and Computers},
  journal   = {Inf. Comput.},
  volume    = {216},
  pages     = {1--2},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.ic.2012.04.001},
  doi       = {10.1016/j.ic.2012.04.001},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/DaumasB12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FoufouM12,
  author    = {Sebti Foufou and
               Dominique Michelucci},
  title     = {Interrogating witnesses for geometric constraint solving},
  journal   = {Inf. Comput.},
  volume    = {216},
  pages     = {24--38},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.ic.2011.09.006},
  doi       = {10.1016/j.ic.2011.09.006},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/FoufouM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Gonzalez-NavarroHS12,
  author    = {Sonia Gonz{\'{a}}lez{-}Navarro and
               Javier Hormigo and
               Michael J. Schulte},
  title     = {A study of decimal left shifters for binary numbers},
  journal   = {Inf. Comput.},
  volume    = {216},
  pages     = {47--56},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.ic.2011.09.002},
  doi       = {10.1016/j.ic.2011.09.002},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/Gonzalez-NavarroHS12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GraillatM12,
  author    = {Stef Graillat and
               Val{\'{e}}rie M{\'{e}}nissier{-}Morain},
  title     = {Accurate summation, dot product and polynomial evaluation in complex
               floating point arithmetic},
  journal   = {Inf. Comput.},
  volume    = {216},
  pages     = {57--71},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.ic.2011.09.003},
  doi       = {10.1016/j.ic.2011.09.003},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/GraillatM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Lester12,
  author    = {David R. Lester},
  title     = {The world's shortest correct exact real arithmetic program?},
  journal   = {Inf. Comput.},
  volume    = {216},
  pages     = {39--46},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.ic.2011.09.004},
  doi       = {10.1016/j.ic.2011.09.004},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/Lester12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Melquiond12,
  author    = {Guillaume Melquiond},
  title     = {Floating-point arithmetic in the Coq system},
  journal   = {Inf. Comput.},
  volume    = {216},
  pages     = {14--23},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.ic.2011.09.005},
  doi       = {10.1016/j.ic.2011.09.005},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/Melquiond12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/OzakiOO12,
  author    = {Katsuhisa Ozaki and
               Takeshi Ogita and
               Shin'ichi Oishi},
  title     = {A robust algorithm for geometric predicate by error-free determinant
               transformation},
  journal   = {Inf. Comput.},
  volume    = {216},
  pages     = {3--13},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.ic.2011.09.007},
  doi       = {10.1016/j.ic.2011.09.007},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/OzakiOO12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics