H. K. Wan

According to our database, H. K. Wan authored at least 1 paper in 1990.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1990

Refutational Proofs of Geometry Theorems via Characteristic Set Computation.

Deepak Kapur, H. K. Wan

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990