Dongming Wang bas been a senior researcher at CNRS since 1992. He is recognized for his work and expertise on automated geometric reasoning, elimination methods, and applications of symbolic computation to differential equations and neural networks. Xiao-Shan Gao has been a research professor at Academia Sinica since 1997. His major research interests include automated geometric reasoning, polynomial system and geometric constraint solving, intelligent computer-aided design and instruction.