(China) Academy of Sciences, Beijing

(China) Academy of Sciences, Beijing
All Links

Share this:

Details of (China) Academy of Sciences, Beijing

About (China) Academy of Sciences, Beijing
(China) Academy of Sciences, Beijing- Mathematics Mechanization Research Centre. Research areas: automated reasoning, computational algebra and geometry, geometric engineering.
Research Groups