Search the dblp DataBase

Publications of Author

1. XueFeng Chen, Peng Li, Long Lin, DingKang Wang
   Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2004, pp:34-43 [Conf]
   
2. XueFeng Chen, DingKang Wang
   The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2002, pp:21-30 [Conf]
   
3. 
   A Simulation Model for Doppler Ultrasound Signals from Pulsatile Blood Flow in Stenosed Vessels. [Citation Graph (, )][DBLP]
   
   
4. 
   An Algorithm for Transforming Regular Chain into Normal Chain. [Citation Graph (, )][DBLP]
   
   
5. 
   An Efficient Algorithm for Factoring Polynomials over Algebraic Extension Field [Citation Graph (, )][DBLP]
   
   
6. 
   A New Proof of the F5 Algorithm [Citation Graph (, )][DBLP]
   
   
7. 
   On Computing Groebner Basis in the Rings of Differential Operators [Citation Graph (, )][DBLP]
   
   
8. 
   The F5 Algorithm in Buchberger's Style [Citation Graph (, )][DBLP]