Mathematics Mechanization Research Centre. Research areas: automated reasoning, computational algebra and geometry, geometric engineering. http://www.mmrc.iss.ac.cn/english/home1.htm
Bordeaux. Researchers at the LaBRI are organized into five research teams: Combinatorics and Algorithmics (Enumerative combinatorics, maps, physics; Random generation and visualization; Graphs and applications; Distributed algorithms); Logic, Formal Langu http://www.labri.u-bordeaux.fr/index-en.htm