An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

H. Hong. An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition. In ISSAC. pages 261-264, 1990. [doi]

@inproceedings{Hong90,
  title = {An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition},
  author = {H. Hong},
  year = {1990},
  doi = {10.1145/96877.96943},
  url = {http://doi.acm.org/10.1145/96877.96943},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Hong90},
  cites = {0},
  citedby = {0},
  pages = {261-264},
  booktitle = {ISSAC},
}

runs on WebDSL