Search dblp for Publications

• > Home > Search

@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}
}