有意学习符号计算和数学机械化的(数学和计算机科学系的)高年级大学生、研究生、青年教师和科研人员，符号计算与数学机械化方向的在读研究生和博士后，从事符号计算与数学机械化研究和教学的专业人员，使用符号计算方法和软件的工程技术人员。