
 
KLMM
The Key Laboratory of MathematicsMechanization (KLMM) is a research
group within the Academy of Mathematics and System Sciences (AMSS) in the Chinese
Academy of Sciences (CAS), Beijing, China.
The founder is Professor WenTsun Wu.
The director is Professor XiaoShan Gao.
The Key Laboratory of MathematicsMechanization has as its primary goal the research and development of theory, algorithms and software for symbolic computation, hybrid symbolicnumeric computation, geometric computation, automated reasoning, cryptographic and coding theory, differential and difference equations in mathematics physics, geometric constraintsolving, polynomial equationsolving.
Prof. WenTsun Wu is awarded the 2006 Shaw Prize in Mathematical Sciences, called the Nobel Prizes of the East.
Main Areas of Interest
Some of the key laboratory main research interests include:
Automated theoremproving in elementary and differential geometry
Constructive algebraic and differential algebraic geometry
Clifford algebra and geometric algebra
Finding closedform solutions for differential and difference equations
Manipulation of analytic objects by computer algebra methods
Solving polynomial equations by exact methods (e.g. the the RittWu method, Groebner bases, resultants, etc)
Solving polynomial equations by hybrid symbolicnumeric methods (e.g. structured matrices, approximate factorization)
Theoretical and algorithmic research in cryptographic and coding theory
Engineering applications in robotics, intelligent CAD, computer vision, computeraided geometric design.


