Automatic Generation of Fast and Certified Code for Polynomial Evaluation

Christophe Mouilleron, Guillaume Revy. Automatic Generation of Fast and Certified Code for Polynomial Evaluation. In Elisardo Antelo, David Hough, Paolo Ienne, editors, 20th IEEE Symposium on Computer Arithmetic, ARITH 2011, Tübingen, Germany, 25-27 July 2011. pages 233-242, IEEE Computer Society, 2011. [doi]

@inproceedings{MouilleronR10,
  title = {Automatic Generation of Fast and Certified Code for Polynomial Evaluation},
  author = {Christophe Mouilleron and Guillaume Revy},
  year = {2011},
  doi = {10.1109/ARITH.2011.39},
  url = {http://dx.doi.org/10.1109/ARITH.2011.39},
  tags = {code generation},
  researchr = {https://researchr.org/publication/MouilleronR10},
  cites = {0},
  citedby = {0},
  pages = {233-242},
  booktitle = {20th IEEE Symposium on Computer Arithmetic, ARITH 2011, Tübingen, Germany, 25-27 July 2011},
  editor = {Elisardo Antelo and David Hough and Paolo Ienne},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4318-5},
}