The Key Laboratory of Mathematics-Mechanization (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 Wen-Tsun Wu.
The director is Professor Xiao-Shan Gao.
The Key Laboratory of Mathematics-Mechanization has as its primary goal the
research and development of theory, algorithms and software
for automated
reasoning, cryptographic and coding theory, differential and difference
equations
in mathematics physics, geometric constraint-solving, polynomial equation-solving,
symbolic computation and hybrid symbolic-numeric computation.
Some of the key laboratory main research interests include:
Automated theorem-proving in elementary and differential geometry
Clifford algebra and geometric algebra Computer-aided geometric design Finding closed-form solutions for ordinary and partial differential (difference)
Manipulation of analytic objects by computer algebra methods
Solving polynomial equations by exact methods (e.g. the the Ritt-Wu method, Solving polynomial equations by hybrid symbolic-numeric methods (e.g. structured
Theoretical and algorithmic research in cryptographic and coding theory
equations
Groebner bases, resultants, etc)
matrices, approximate factorization)