Program extraction in exact real arithmetic. Miyamoto, K. and Schwichtenberg, H. Mathematical Structures in Computer Science, 25:1692–1704, 12, 2015.
Program extraction in exact real arithmetic [link]Paper  doi  bibtex   
@ARTICLE{MS15,
  author = {Miyamoto, Kenji and Schwichtenberg, Helmut},
  title = {Program extraction in exact real arithmetic},
  journal = {Mathematical Structures in Computer Science},
  year = {2015},
  volume = {25},
  pages = {1692--1704},
  month = {12},
  doi = {10.1017/S0960129513000327},
  file = {MS15.pdf:MS15.pdf:PDF},
  issn = {1469-8072},
  issue = {Special Issue 08},
  keywords = {bib,cca},
  numpages = {13},
  owner = {Vasco},
  timestamp = {2015.11.18},
  url = {http://journals.cambridge.org/article_S0960129513000327}
}
Downloads: 0