DingKang Wang

Publication Activity (10 Years)

Years Active: 2002-2004
Publications (10 Years): 0

Publications

XueFeng Chen, Peng Li, Long Lin, DingKang Wang
Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases. Automated Deduction in Geometry (2004)
XueFeng Chen, DingKang Wang
The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction. Automated Deduction in Geometry (2002)