Original sentence: It has impulsed a number of works in his laboratory (KLMM, Key Laboratory of Mathematics Mechanization in Chinese Academy of Science) and in many places around in the world.The main trends of the researches impulsed by Wu's method concern systems of polynomial equations of positive dimension and differential algebra where Ritt's results have been made effective and implemented.They have been applied in various scientific fields, like biology, computer vision, robot kinematics and especially automatic proofs in geometry.Wu's method demonstrated its power for mechanical theorem proving in elementary geometry.Wu's original algorithm is now obsolete being superseded by algorithms which compute regular chains, which are special triangular sets whose zero sets are never empty
Edited sentence: Automated reasoning.Automatic deduction of Newton's law of universal gravitation from Kepler's laws of planetary motion.Automatic discovery of theorems in differential geometry.Characteristic set method is still a hot reseach topic in KLMM( Key Laboratory of Mathematics Mechanization in Chinese Academy of Science).Computer aided geometric design.Computer vision.Equation solving.KLMM has developed a software package  MMP3.0 implementing Wu's characteristic set method with built in routines ''factor(p),matrix(),tran(m),basicset(),charset();triset(),premas(),charser(),polysolver(p), roots(p),derivative(p,x),and wsolve(ps,ord), where ps is a polynomial set, and ord is a set of variables, and wprove(gs), where gs are geometric statements and conclusion,wprove_curve().Robotic kinematics.Wu's characteristc set method has being successfully applied to:.Wu's method demonstrated its power for mechanical theorem proving in elementary geometry and differential geometry.Young-Baxter equation and quantum group