2018年秋

    时间：周五 16:00-18:00

    地点：北航新主楼 F424

• 2018年10月12日， 彭鹏程，Combining Multiple Biomarkers for Prediction of Benefits from a Cancer Treatment
• 2018年10月19日， 范晓林，Preliminary Research on Berlekamp-Messay Algorithm and Berlekamp-Messay-Sakata Algorithm and The Association and Difference Between Algorithms
• 2018年11月02日， 蒋东辰，An Introduction to Programming with C
• 2018年11月09日， 蒋东辰，An Introduction to Programming with C
• 2018年11月16日， 董日娜，Deforming Stanley-Reisner Rings
• 2018年11月30日， 徐娟，An Introduction to Robot Motion Planning
• 2018年12月07日， 彭鹏程，Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest with Multiple Winners
• 2018年12月14日， 蒋东辰，An Introduction to Mathematical Logic
• 2018年12月21日， 蒋东辰，An Introduction to Mathematical Logic
• 2018年12月28日， 胡一帆，Bounding the Number of Limit Cycles Using Chebyshev Criteria
• 2019年01月11日， 鲁东，Efficient Algorithms for Computing Parametric GCD

2019年春

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

    地点：北航新主楼 F424

• 2019年03月08日， 陈肖宇，Introduction to Automated Theorem Proving
• 2019年03月15日， 牟晨琪，Graph Structures in Polynomial Systems Solving: from the Viewpoint of Variable Orderings
• 2019年03月22日， 徐娟，Subdivision Methods for Solving Polynomial Systems
• 2019年03月29日， 范晓林，On the Connections Between Berlekamp-Massey Algorithm and Berlekamp-Massey-Sakata Algorithm
• 2019年04月19日， 王杰，Exploit Sparsity in Certificates of Nonnegativity and Sparse Polynomial Optimization
• 2019年04月26日， 董日娜，On Characteristic Decomposition and Quasi Decomposition
• 2019年05月23日， Deepak Kapur，A new approach to construct a Universal Groebner Basis and a Universal Parametric Groebner Basis
• 2019年05月31日， 梁梦帆，Analysis of the Number of Real Elements of Six-Dimensional Complex Hadamard Matrix
• 2019年06月14日， 李伟，Differential Chow Forms and Differential Chow Varieties
                                     冯如勇，Telescopers for Differential Forms with One Parameter
• 2019年07月05日， Hoon Hong，Locating and Counting Equilibria of the Kuramoto Model with Rank One Coupling