▁use ▁of ▁methods ▁and ▁tools ▁of ▁computer ▁algebra ▁for ▁symbol ic ▁analysis ▁of ▁stability ▁and ▁b if ur cation ▁of ▁differential ▁and ▁bi ological ▁systems . ▁He ▁constructed ▁a ▁class ▁of ▁cub ic ▁differential ▁systems ▁with ▁six ▁small - am plit ude ▁limit ▁cycles ▁and ▁redis cover ed ▁the ▁in comple ten ess ▁of ▁K uk les ' ▁center ▁conditions ▁of ▁ 1 9 4 4 , ▁which ▁stim ulated ▁the ▁study ▁of ▁K uk les ' ▁system ▁in ▁hundred ▁papers . ▁Since ▁ 2 0 0 4 ▁he ▁has ▁been ▁involved ▁in ▁research ▁projects ▁on ▁geometric ▁knowledge ▁management ▁and ▁discovery . ▁With ▁co - work ers ▁he ▁developed ▁an ▁algorithm ic ▁approach ▁for ▁autom ated ▁discovery ▁of ▁geometric ▁the or ems ▁from ▁images ▁of ▁diag rams . ▁ ▁Wang ▁served ▁as ▁General ▁Chair ▁of ▁I SS AC ▁ 2 0 0 7 ▁and ▁is ▁found ing ▁Editor - in - Ch ief ▁and ▁Man aging ▁Editor ▁of ▁Mathemat ics ▁in ▁Computer ▁Science ▁and ▁Executive ▁Associ ate ▁Editor - in - Ch ief ▁of ▁S CI EN CE ▁CH IN A ▁Information ▁Sciences . ▁ ▁Currently ▁he ▁works ▁as ▁Professor ▁at ▁Be ih ang ▁University ▁and ▁Gu ang xi ▁University ▁for ▁National ities , ▁China ▁on ▁leave ▁( d ét ach é ) ▁from ▁C N RS . ▁ ▁References ▁ ▁External ▁links ▁ ▁Wang ' s ▁personal ▁website ▁ ▁Category : Year ▁of ▁birth ▁missing ▁( l iving ▁people ) ▁Category : L iving ▁people ▁Category : Math emat icians ▁from ▁An