(China) Academy of Sciences, Beijing
Edit Page
Report
Scan day: 02 February 2014 UTC
14
Virus safety - good
Description: Mathematics Mechanization Research Centre. Research areas: automated reasoning, computational algebra and geometry, geometric engineering.
KLMM: Key Laboratory of Mathematics Mechanization The Key Laboratory of Mathematics-Mechanization (KLMM) is a research group within the Academy of Mathematics and System Sciences The Key Laboratory of Mathematics-Mechanization has as its primary goal the research and development of theory, algorithms and software for symbolic computation, hybrid symbolic-numeric computation, geometric computation, automated reasoning, cryptographic and coding theory, differential and difference equations in mathematics physics, geometric constraint-solving, polynomial equation-solving.
Size: 588 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | KLMM: Key Laboratory of Mathematics Mechanization |
| Keywords: | |
| Description: | |
| IP-address: | 159.226.47.205 |