Activities >> Talks   
Home
People
Research
Activities
Education
About Us
Download
Link

 

 
 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
Research Areas | Publications | Software | General Seminar | Geometry Seminar | Algebra Seminar | FAQ