学术活动 >> 讨论班 >> 综合讨论班 
 
 
 

  
 综合讨论班

  时间: 周三 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日:梁铁林, 对象关系实现