中 文

• DHDR, January 1999, Institut National Polytechnique de Grenoble
  
• Ph.D, July 1987, Academia Sinica
  
• B.Sc, July 1983, University of Science and Technology of China

• October 2003 - : Beihang University (China)
  Institute of Artificial Intelligence / School of Mathematical Sciences (Beijing)
  
• October 1992 - : Centre National de la Recherche Scientifique (France)
  January 2000 - March 2014: Laboratoire d'Informatique de Paris 6 (Paris)
  October 1995 - December 1999: Laboratoire LEIBNIZ (Grenoble)
  October 1992 - September 1995: Laboratoire d'Informatique Fondamentale et d'Intelligence Artificielle (Grenoble)
• April 2014 - March 2019: Guangxi University for Nationalities (China)
  College of Software and Information Security (Nanning)
  
• March 1988 - September 1992: Johannes Kepler University (Austria)
  Research Institute for Symbolic Computation (Linz)
• August 1987 - February 1988: Academia Sinica (China)
  Institute of Systems Science (Beijing)

• Computer Algebra and Analysis
  
• Geometric Computation and Reasoning (Bibliography)
• Knowledge Management and Discovery

• Mathematics in Computer Science, SCIENCE CHINA Information Sciences
  SN Computer Science, Symbolic Computation MMXX, SNC 2009 2007 2005
• ADG 2023 2021 2018 2016 2014 2012 2010 2008 2006 2004 2002 2000 '98 '96
  ISSAC 2019 2007 2005 2004 '96, SCC 2008, SYMCOMP 2023 2021 2019 2017
• AISC 2018 2014 2010 2008 2006 2004 2002 2000 '98, MKM 2010, KEOD 2009
  PAS 2015 2014 2013 2012, (SC)² 2015, GC 2015 2002, SCDG 2011, SYCM 2006
• AB 2009 2008 2007 2005, ANB 2010, SNPD 2008 2007, ISDEABS 2007, A3L 2005
  ASCM 2007 2005 2003 2001 2000, AWFS 2012 2010 2009 2007, SCA 2010, GB 2006
• SSSC 2019 2015 2009 2006 2004, HSB 2013, SRATC 2008, SCE 2006, DESC 2004 2023
  SCSS 2021 2017 2016 2014, MACIS 2013 2011 2007 2006, ATCM 2002 2001 2000 '99
• ICMS 2018 2016 2014 2010 2006 2002, CADE-16 15 14 13, CALCULEMUS '99, AAGR '92
  Dasa 2018, CRC 2011, Chinese-SALSA 2008 2007, ICPSS 2004, IMACS ACA '96 '95
• SYNASC 2014 2013 2012 2011 2010 2009, RCA '09, ICRM 2009, ICMM 2009, Wu 2019
  Journal of Symbolic Computation  Special Issue on Polynomial Elimination