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