Publications of Key Laboratory of Mathematics Mechanization


* Symbolic and algebraic computation
* Automated reasoning
* Geometric computation
* Constructive algebraic geometry
* Constructive methods for differential and difference equations
* Hybrid computation
* Information security
* Coding theory
* Cryptology
* Applications in robotics, computer vision, intelligent CAD, CAGD