- 2020年12月,牟晨琪老师主讲的本研一体课程“计算机代数”获北京航空航天大学2020年度“研究生课程卓越教学奖”。课程视频链接
- 2020年12月7日,黄博同学通过博士学位论文答辩,获得北京航空航天大学理学博士学位。
- 2020年9月18日,鲁东老师申报的国家自然科学基金委员会青年科学基金项目 “基于 Groebner 基方法的结构化多元多项式矩阵分解研究” 通过评审,获得资助。
- 2020年9月15日,梁梦帆同学荣获国家奖学金。
- 2020年6月,牟晨琪老师的论文 On the Chordality of Ordinary Differential Triangular Decomposition in Top-down Style、鲁东老师的论文 Further Results on the Factorization and Equivalence for Multivariate Polynomial Matrices 和黄博同学的论文 Algorithmic Averaging for Studying Periodic Orbits of Planar Differential Systems 被第45届国际符号和代数计算会议(ISSAC 2020)接收。论文链接
- 2020年5月29日,董日娜同学通过博士学位论文答辩,获得北京航空航天大学理学博士学位。
- 2020年2月,牟晨琪老师受邀加入学术期刊《Journal of Systems Science and Complexity》编委会。期刊编委会链接
- 2020年1月6日至16日,美国新墨西哥大学 Deepak Kapur 教授访问计算机数学交叉研究中心。
- 2019年12月11日,范晓林、赖佳华同学通过研究生毕业论文答辩,获硕士学位。
- 2019年12月8日至23日,加拿大劳里埃大学 Ilias Kotsireas 教授访问计算机数学交叉研究中心,并讲授高性能科学计算短课程(Intensive Training in High-performance Computing, Beihang University, December 16-20, 2019)。
- 2019年11月13日至15日,牟晨琪老师参加在土耳其盖布泽举行的第8届计算机与信息科学中的数学问题国际会议(MACIS 2019),主持 Algorithms and Foundations 分会,并在会上作了题为 On the Chordality of Simple Decomposition in Top-Down Style 的学术报告。
- 2019年10月24日至27日,鲁东、牟晨琪、牛薇、蒋东辰老师和多位研究生参加了在中国成都举行的第11届全国计算机数学学术会议( CM 2019)。徐娟和范晓林同学分别在会上作了题为 An Effective Subdivision Algorithm for Real Root Isolation of Systems of Nonlinear Equations, with Complexity Analysis 和 On Berlekamp-Massey and Berlekamp-Massey-Sakata Algorithms 的学术报告。
- 2019年10月至2020年1月,董日娜同学应 Wolfram Decker 教授邀请到德国凯泽斯劳滕工业大学从事访问研究。
- 2019年8月26日至30日,牟晨琪老师赴俄罗斯莫斯科参加第21届科学计算的计算机代数国际研讨会(CASC 2019),并在会上作了题为 On Berlekamp-Massey and Berlekamp-Massey-Sakata Algorithms 的学术报告。
- 2019年7月21日至27日,第6期符号计算暑期讲习班(SSSC 2019)在中国重庆举行。王东明教授任讲习班大会主席,牟晨琪老师在会上作了题为 On the Connection Between Lexicographic Gröbner Bases and Triangular Sets 的学术报告。
- 2019年7月15日至18日,第44届国际符号和代数计算会议(ISSAC 2019)在北京航空航天大学举行。王东明教授任大会联合主席,牟晨琪老师任大会组委会主席。新闻链接
- 2019年5月12日至17日,为纪念已故数学家吴文俊先生100周年诞辰,吴文俊学术思想国际研讨会(International Symposium on Wen-Tsun Wu's Academic Thought and Mathematics Mechanization, 2019)在中国科学院举行。国内外拓扑学、数学机械化、人工智能与数学史领域院士专家、吴文俊先生的亲朋好友及社会各界人士等260余人参加了研讨会。王东明教授在会上作了题为 Algorithmic Elimination Theory and Triangular Decomposition for Polynomial Systems 的学术报告,并分享了与吴先生交往的经历。新闻链接
- 2019年5月7日,王东明教授在 “C3安全峰会” 上作了题为 “人工智能:安全的机遇与挑战” 的主题演讲。新闻链接
- 2018年10月26日至28日,王东明教授和牟晨琪老师赴武汉参加第10届全国计算机数学学术会议(CM 2018)。
- 2018年10月至2020年10月,黄博同学在美国纽约大学柯朗研究所学习两年。
- 2018年9月16日至19日,第13届人工智能与符号计算国际会议(AISC 2018)在中国苏州举行。王东明教授任大会联合主席,牟晨琪老师任大会程序委员会委员,陈肖宇老师在会上作了题为 Towards Intelligent Mathematical Documents 的学术报告。新闻链接
- 2018年9月13日至16日,中国工业与应用数学学会第16届年会(CSIAM 2018)在四川大学举行。牟晨琪老师在会上作了题为 On the Connection Between Lexicographic Gröbner Bases and Triangular Sets 的学术报告。
- 2018年9月11日至14日,第12届国际几何学自动推理研讨会(ADG 2018)在广西民族大学举行。王东明教授任大会主席。
- 2018年7月24日至27日,牟晨琪老师赴美国南本德参加国际数学软件大会(ICMS 2018)。
- 2018年7月16日至19日,王东明教授和牟晨琪老师赴美国纽约参加第43届国际符号和代数计算会议(ISSAC 2018)。牟晨琪老师在会上作了题为 On the Chordality of Polynomial Sets in Triangular Decomposition in Top-down Style 的学术报告。
- 2018年6月11日至14日,王东明教授和牟晨琪老师赴上海参加中美数学会联合国际会议(CMS-AMS 2018),分别在会上作了题为 Characteristic Decomposition of Polynomial Sets 和 On Berlekamp-Massey and Berlekamp-Massey-Sakata Algorithms 的学术报告。
- 2018年4月26日,牟晨琪老师在中国科学院数学与系统科学研究院座谈会和研讨会上作了题为 On the Chordality of Polynomial Sets in Triangular Decomposition in Top-down Style 的学术报告。
- 2017年10月18日至21日,王东明教授和牟晨琪老师赴湘潭参加第9届全国计算机数学学术会议(CM 2017)。
- 2017年9月18日至22日,第19届科学计算中的计算机代数国际研讨会(CASC 2017)在北京举行。牟晨琪老师在会上作了题为 Decomposing Polynomial Sets Simultaneously into Gröbner Bases and Normal Triangular Sets 的学术报告。
- 2017年9月5日,王东明教授当选欧洲科学院院士。新闻链接
- 2017年7月25日至28日,王东明教授和牟晨琪老师赴德国凯泽斯劳滕参加第42届国际符号和代数计算会议(ISSAC 2017),并代表北航申办 ISSAC 2019 成功。牟晨琪老师在会上作了题为 On W-characteristic Sets of Lexicographic Gröbner Bases 的学术报告。
- 2017年4月至2018年4月,董日娜同学在德国凯泽斯劳滕工业大学学习一年。
- 2016年11月29日至12月4日,美国北卡罗莱那州立大学 Hoon Hong 教授访问计算机数学交叉研究中心。
- 2016年11月10日至13日,牟晨琪老师和徐娟等多位研究生赴深圳参加第8届全国计算机数学学术会议(CM 2016)。董日娜同学在会上作了题为 “tridecGF 与 normsys: 三角分解软件包 Epsilon 的新模块” 的学术报告。
- 2016年7月19日至22日,徐娟同学赴加拿大滑铁卢参加第41届符号与代数计算国际研讨会(ISSAC 2016),并在会上作了题为 Complexity Analysis of Root Clustering for a Complex Polynomial 的学术报告。
- 2016年7月11日至14日,王东明教授和牟晨琪老师赴德国柏林参加第5届国际数学软件大会(ICMS 2016),并在会上作了题为 Epsilon 1: A Software Library for Triangular Decomposition 的学术报告。
- 2016年6月27日至29日,陈肖宇老师和宋丹同学赴法国斯特拉斯堡参加第11届国际几何学自动推理研讨会(ADG 2016)。宋丹同学在会上作了题为 Automated Generation of Keywords from Images for Geometric Information Search 的学术报告。
- 2016年6月5日至10日,徐娟同学赴美国纽约参加第2届传感器网络和机器人几何问题研讨会。
- 2016年5月23日至25日,徐娟同学赴美国圣母大学参加数值代数几何软件与应用研讨会。
- 2016年5月至7月,宋丹同学应 Pascal Schreck 教授邀请,赴法国斯特拉斯堡大学进行学术访问。
- 2016年2月3日至5日,王东明教授赴加拿大多伦多参加数学知识的语义表示研讨会(Semantic Representation of Mathematical Knowledge Workshop),并在会上作了题为 Representation, Management, and Discovery of Geometric Knowledge 的邀请报告。