Automatic Reasoning about Numerical Stability of Rational Expressions - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Bruce W. Char. Automatic Reasoning about Numerical Stability of Rational Expressions. In ISSAC. pages 234-241, 1989. [doi]

@inproceedings{Char89,
  title = {Automatic Reasoning about Numerical Stability of Rational Expressions},
  author = {Bruce W. Char},
  year = {1989},
  doi = {10.1145/74540.74569},
  url = {http://doi.acm.org/10.1145/74540.74569},
  researchr = {https://researchr.org/publication/Char89},
  cites = {0},
  citedby = {0},
  pages = {234-241},
  booktitle = {ISSAC},
}

runs on WebDSL