|
|
Talks
- May 22, 2007, Main Building 321, Beihang University
- Renaud Rioboo (Université Pierre et Marie Curie - LIP6, France)
Introduction to the Focal Frame Work through the Implementation of Polynomails
- May 16, 2007, Main Building 321, Beihang University
- Tetsuo Ida (University of Tsukuba)
Formalization of Origami Construction
- September 23, 2006, Main Building 321, Beihang University
- Thérèse Hardin (Université Pierre et Marie Curie - LIP6, France)
FOCAL, an IDE for More Trustable Software
- Jian Zhang (Institute of Software, Chinese Academy of Sciences)
Satisfiability Checking and Counterexample Searching
- Arjeh Cohen (Techniscle Universiteit Eindhoven, The Netherlands)
Knots and BMW Algebra of Type Dn
- April 29, 2005, Main Building 321, Beihang University
- Zhuojun Liu (Mathematics Mechanization Research Center,
Chinese Academy of Sciences)
Symbolic Computation: Examples, Theory, and Applications
- March 5, 2005, Main Building 321, Beihang University
- Mingsheng Wang (Institute of Software, Chinese Academy of Sciences)
Computational Algebraic Geometry
|
