(
📝 描述
Mathematics Mechanization Research Centre. Research areas: automated reasoning, computational algebra and geometry, geometric engineering.
⭐ 用户评价
暂无评价