|
|
General Seminar
Time: Wednesday 14:00-17:00
Place: Main Building South 306, Beihang University
- Apr 18, 2007, Meng Jin: An Introduction to Resultant and Subresultant II
- Apr 11, 2007, Meng Jin: An Introduction to Resultant and Subresultant I
- Apr 4, 2007, Xiaoyu Chen: Relational Schema Design and Introduction to SQL
- Mar 28, 2007, Xiaoyu Chen: Introduction to Database System and Data Model
- Mar 21, 2007, Dongming Wang: Triangular Decomposition
- Dec 29, 2006, Tielin Liang: DGS Demonstration
- Dec 22, 2006, Ye Liang: First Applications of Gröbner Bases
- Dec 15, 2006, Wei Niu: Some Algorithms in Computational Real Algebriac Geometry
- Dec 8, 2006, Xiaoyu Chen: Gröber Bases Method
- Dec 1, 2006, Ting Zhao: On the Number of Real Roots of a Polynomial
- Nov 24, 2006, Ying Shao: The Proof Assistant Coq and
¦Ë-calculus
- Nov 17, 2006, Meng Jin: An Introduction to the Characteristic Set Method
- Nov 10, 2006, Xiaoliang Li: Computational Algebra and Algebraic Geometry
- Nov 3, 2006, Tian Luo: Real-space Pretein-model Completion
- Oct 27, 2006, Liyun Li: Geometric Constraint Solving
- Oct 20, 2006, Wenting Zhang: Applications of Computer Algebra Systems to
the Qualitative Study of Differential Equations
- Oct 13, 2006, Xiaoyu Chen: Geometric Knowledge Management
- Sep 29, 2006, Tielin Liang: DGS to Gool
- Jun 2, 2006, Ye Liang: Monomial Bases and Sparse Elimination
- May 26, 2006, Ye Liang: Survey on Border Bases
- May 19, 2006, Xiaoliang Li: Relations Between Algebra and Geometry
- May 12, 2006, Wei Niu: Stability Analysis of a Class of Biological Systems
- Apr 28, 2006, Wenting Zhang: Center Conditions for Differential Systems of
Center-Focus Type
- Apr 21, 2006, Tie Luo: Conformational Analysis of Molecular Chains Using
Inverse Kinematics
- Apr 7, 2006, Xiaoyu Chen: Geometric Knowledge Management
- Mar 31, 2006, Ye Liang: Border Bases
- Mar 24, 2006, Liyun Li: Dynamical Geometric Constraint Solving
- Mar 17, 2006, Tielin Liang: On the Implementation of Geometric Relations
|
