注册

负责专业范围为数学机械化。

擅长专业为数学机械化;几何自动推理;数控算法;路径规划;机器人视觉。