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