Jiawei Hong

Suggest Changes
Learn More
  • Jiawei Hong
  • 27th Annual Symposium on Foundations of Computer…
  • 1986
This paper proposes a proving_by_example method, which works as follows: Given a geometry proposition we can easily present a concrete numerical example such that in order to determine whether the(More)
  • 1