DingKang Wang

According to our database, DingKang Wang authored at least 2 papers between 2002 and 2004.

Collaborative distances:

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

2004

Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases.

XueFeng Chen, Peng Li, Long Lin, DingKang Wang

Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004

2002

The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction.

XueFeng Chen, DingKang Wang

Proceedings of the Automated Deduction in Geometry, 2002