Key Laboratory of Mathematics Mechanization (KLMM) English Version
10月17日至10月21日数学机械化重点实验室,北航数学系和美国北卡罗莱那州立大学数学系Symbolic Solutions Group,在美国北卡罗莱那州立大学举行了符号计算联合研讨会.该会议得到了中国和美国自然科学基金委员会的资助.中方参加人员包括:高小山,李子明,支丽红,冯如勇,王东明和五名研究生;美方参加人员包括:Michael Singer, Erich Kaltofen, Hoon Hong, Agnes Santos, Irina Kogan 和他们的研究生.会议重点讨论