2016年秋

    时间：周五 10:00-12:00

    地点：北航新主楼 F424

• 2016年10月14日， 徐娟，Complex Root Isolation of Univariate Polynomials
• 2016年10月21日， 黄振峰，Personal Information Search System which Focuses on Academic Field
• 2016年10月28日， 黄博，Chaos in the Sense of Marotto's Definition
• 2016年11月04日， 王哲，Linear Relationships of Roots of a Univariate Polynomial
• 2016年11月11日， 陈肖宇，Brief Introduction to the Management of Geometric Knowledge
• 2016年11月18日， 宋丹，Searching for Geometric Theorems Using Features Retrieved from Diagrams
• 2016年11月25日， 宋丹，A Brief Introduction to Formal Proof
• 2016年12月09日， 牟晨琪，Chordal Networks of Polynomial Ideals

2017年春

    时间：周四 10:00-12:00

    地点：北航新主楼 F424

• 2017年03月23日， 王哲，Theory of Evidence, Game Theory and Software Crowdsourcing
• 2017年03月30日， 徐娟，Real Root Isolation of Polynomial Systems
• 2017年04月06日， 黄博，Chaos
• 2017年04月13日， 许卓颐，Recognition of Printed Mathematical Expressions
• 2017年04月20日， 张雨，Formalization and Automated Proving of Geometry Data
• 2017年04月27日， 董日娜，Algorithm for Characteristic Decomposition
• 2017年05月04日， 宋丹，Retrieving Characteristic Information and Discovering Geometric Theorems from Images of Diagrams
• 2017年05月18日， 陈肖宇，Introduction to Machine Learning
• 2017年05月25日， 黄博，Integrability Conditions for Complex Systems
• 2017年06月01日， 彭鹏程，Two-Person Cooperative Gamers
• 2017年06月08日， 牟晨琪，Coordinate rings and polynomial mappings
• 2017年06月15日， 徐娟，Symbolic recipes for polynomial system solving