Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving

@inproceedings{Chou1990RittWusDA,
  title={Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving},
  author={Shang-Ching Chou and Xiao-Shan Gao},
  booktitle={CADE},
  year={1990}
}

Topics from this paper.

Citations

Publications citing this paper.

FILTER CITATIONS BY YEAR

1989
2017

CITATION STATISTICS

  • 3 Highly Influenced Citations

  • Averaged 1 Citations per year over the last 3 years

Similar Papers

Loading similar papers…