2017年秋

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

    地点：北航新主楼 F424

• 2017年09月14日， 徐娟，Real Root Isolation of Radical Equations
• 2017年09月21日， 许卓颐，Automatic Proving of Combinatorial Identity
• 2017年09月28日， 彭鹏程，A Game Theoretic Model of Software Crowdsourcing
• 2017年10月12日， 黄博，Design and Implementation of Formalized Geometric Knowledge Base
• 2017年10月26日， 白阳，On the Chordality of Polynomial Systems in Triangular Decomposition in Top-down Style
• 2017年11月09日， 王哲，A Software Crowdsourcing Assessment Mechanism Based on Evidence Theory
• 2017年11月30日， 梁梦帆，Information Retrieval
• 2017年12月07日， 彭鹏程，Multiple-Person Game Model for Algorithm Contest on TopCoder
• 2017年12月14日， 黄博，Travelling Wave Solutions of Nonlinear Partial Differential Equations
• 2017年12月21日， 许卓颐，Reduction-Based Creative Telescoping for Algebraic Functions
• 2017年12月28日， Deepak Kapur, Parametric Grobner basis computations and elimination
• 2018年01月04日， 张雨, Design and Implementation of A Formalized Geometric Knowledge Base

2018年春

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

    地点：北航新主楼 F424

• 2018年03月16日， 范晓林，Berlekamp-Messay Algorithm
• 2018年03月23日， 彭鹏程，Computation of Nash equilibria in finite games
• 2018年03月30日， 黄博，Limit Cycles for Two Classes of Planar Polynomial Differential Systems with Uniform Isochronous Centers
• 2018年04月13日， 徐娟，An Approach for Certifying Homotopy Continuation Paths: Univariate Case
• 2018年04月20日， 杨静，On mu-Symmetric Polynomials and D-plus
• 2018年04月27日， 彭鹏程，Game-theoretical Analysis on the Numbers of Participants in Non-cooperative Software Crowdsourcing
• 2018年06月22日， 陈绍示，Reduction-based Algorithms for Creative Telescoping
• 2018年06月29日， 牟晨琪，Graph Structures in Polynomial Systems Solving