综合讨论班

  时间: 周三 14:00-17:00
  地点: 北航教学区主南 306

• 2007年 4月18日：金  萌，结式和子结式简介II
• 2007年 4月11日：金  萌，结式和子结式简介I
• 2007年 4月 4日：陈肖宇，关系模式设计与SQL简介
• 2007年 3月28日：陈肖宇，数据库系统及数据模型简介
• 2007年 3月21日：王东明，三角列分解
• 2006年12月29日：梁铁林，DGS演示
• 2006年12月22日：梁  野，First Applications of Gröbner Bases
• 2006年12月15日：牛  薇，计算实代数几何中的若干算法
• 2006年12月 8日：陈肖宇，Gröbner基方法
• 2006年12月 1日：赵  婷，多项式实根个数的判定
• 2006年11月24日：邵  莹，定理证明助手Coq和 λ-演算
• 2006年11月17日：金  萌，特征列方法简介
• 2006年11月10日：李晓亮，计算代数与代数几何
• 2006年11月 3日：洛  天，Real-space Pretein-model Completion
• 2006年10月27日：李丽贇，几何约束求解
• 2006年10月20日：张文婷, 计算机代数系统在微分方程定性理论中的应用
• 2006年10月13日：陈肖宇, 数学知识管理
• 2006年 9月29日：梁铁林, DGS to Gool
• 2006年 6月 2日：梁  野, Monomial Bases and Sparse Elimination
• 2006年 5月26日：梁  野, Survey on Border Bases
• 2006年 5月19日：李晓亮, 代数与几何关系
• 2006年 5月12日：牛  薇, 一类生物系统的稳定性分析
• 2006年 4月28日：张文婷, 中心焦点判定问题
• 2006年 4月21日：洛  天, Conformational Analysis of Molecular Chains Using
                          Inverse Kinematics
• 2006年 4月 7日：陈肖宇, 数学知识库管理
• 2006年 3月31日：梁  野, Border Bases
• 2006年 3月24日：李丽赟, 动态几何约束求解
• 2006年 3月17日：梁铁林, 对象关系实现