82:
for symbolic analysis of stability and bifurcation of differential and biological systems. He constructed a class of cubic differential systems with six small-amplitude limit cycles and rediscovered the incompleteness of Kukles' center conditions of 1944, which stimulated the study of Kukles' system
74:
of polynomial systems, which has been referred to as Wang's method and compared with other three methods. Later on he introduced the concepts of regular systems and simple systems and devised algorithms for regular and simple triangular decompositions. He also developed a package, called
Epsilon,
83:
in hundred papers. Since 2004 he has been involved in research projects on geometric knowledge management and discovery. With co-workers he developed an algorithmic approach for automated discovery of geometric theorems from images of diagrams.
90:
2007 and is founding Editor-in-Chief and
Managing Editor of Mathematics in Computer Science and Executive Associate Editor-in-Chief of SCIENCE CHINA Information Sciences.
40:
36:
98:
500:
Christopher, C. J.; Lloyd, N. G. (1990). "On the paper of Jin and Wang concerning the conditions for a centre in certain cubic systems".
638:
48:
643:
613:
44:
20:
527:
Chen, Xiaoyu; Song, Dan; Wang, Dongming (2015). "Automated generation of geometric theorems from images of diagrams".
71:
633:
35:) is Research Director (Directeur de Recherche) at the French National Center for Scientific Research (
445:
67:
63:
139:
473:
Jin, Xiaofan; Wang, Dongming (1990). "On the conditions of Kukles for the existence of a centre".
160:
536:
94:
70:
to qualitative analysis of differential equations. In 1993 he proposed an elimination method for
59:
564:
181:
258:"Triangular sets for solving polynomial systems: a comparative implementation of four methods"
52:
546:
509:
482:
453:
361:
328:
269:
236:
79:
449:
290:
627:
458:
433:
585:
202:
550:
609:
118:
381:
366:
349:
333:
316:
274:
257:
241:
224:
513:
486:
565:"Mathematics in Computer Science – incl. option to publish open access"
541:
87:
32:
28:
291:"D.M.Wang simple systems and dynamic constructible closure"
39:, CNRS). He was awarded Wen-tsün Wu Chair Professor at the
618:
434:"A class of cubic differential systems with 6-tuple focus"
419:
Elimination
Practice: Software Tools and Applications
317:"Decomposing polynomial systems into simple systems"
350:"Computing triangular systems and regular systems"
529:Annals of Mathematics and Artificial Intelligence
78:Wang popularized the use of methods and tools of
225:"An elimination method for polynomial systems"
51:, China in 2014. He was elected Member of the
41:University of Science and Technology of China
8:
37:Centre National de la Recherche Scientifique
502:Bulletin of the London Mathematical Society
475:Bulletin of the London Mathematical Society
256:Aubry, Philippe; Moreno Maza, Marc (1999).
540:
457:
365:
332:
273:
240:
110:
101:, China on leave (détaché) from CNRS.
161:"第六批特聘教授名单_长江学者名单_数据中心_中国学位与研究生教育信息网"
7:
586:"Science China Information Sciences"
99:Guangxi University for Nationalities
93:Currently he works as Professor at
43:in 2001, Changjiang Scholar of the
203:"Academy of Europe: Wang Dongming"
14:
438:Journal of Differential Equations
421:. London: Imperial College Press.
406:. Wien New York: Springer-Verlag.
86:Wang served as General Chair of
49:Guangxi Zhuang Autonomous Region
354:Journal of Symbolic Computation
321:Journal of Symbolic Computation
262:Journal of Symbolic Computation
229:Journal of Symbolic Computation
75:which implements his methods.
47:in 2005, and Bagui Scholar of
24:
1:
614:Mathematics Genealogy Project
45:Chinese Ministry of Education
459:10.1016/0022-0396(90)90004-9
58:Wang worked on algorithmic
660:
163:. Cdgdc.edu.cn. 2017-03-13
62:, geometric reasoning and
639:Mathematicians from Anhui
551:10.1007/s10472-014-9433-7
295:LACO – Rapport n° 2000–16
72:triangular decomposition
619:Wang's personal website
432:Wang, Dongming (1990).
417:Wang, Dongming (2004).
402:Wang, Dongming (2001).
348:Wang, Dongming (2000).
315:Wang, Dongming (1998).
223:Wang, Dongming (1993).
367:10.1006/jsco.1999.0355
334:10.1006/jsco.1997.0177
275:10.1006/jsco.1999.0270
242:10.1006/jsco.1993.1035
66:, and applications of
644:Educators from Anhui
289:Dellière, Stéphane.
184:. Gxrb.gxnews.com.cn
68:symbolic computation
64:knowledge management
27:; born July 1961 in
514:10.1112/blms/22.1.5
487:10.1112/blms/22.1.1
450:1990JDE....87..305D
404:Elimination Methods
95:Beihang University
60:elimination theory
53:Academia Europaea
651:
597:
596:
594:
593:
582:
576:
575:
573:
572:
561:
555:
554:
544:
535:(3–4): 333–358.
524:
518:
517:
497:
491:
490:
470:
464:
463:
461:
429:
423:
422:
414:
408:
407:
399:
393:
392:
390:
389:
384:. Wang.cc4cm.org
378:
372:
371:
369:
345:
339:
338:
336:
312:
306:
305:
303:
301:
286:
280:
279:
277:
253:
247:
246:
244:
220:
214:
213:
211:
210:
199:
193:
192:
190:
189:
178:
172:
171:
169:
168:
157:
151:
150:
148:
147:
142:. Hr.ustc.edu.cn
136:
130:
129:
127:
126:
121:. Polsys.lip6.fr
115:
80:computer algebra
26:
659:
658:
654:
653:
652:
650:
649:
648:
624:
623:
606:
601:
600:
591:
589:
584:
583:
579:
570:
568:
563:
562:
558:
526:
525:
521:
499:
498:
494:
472:
471:
467:
431:
430:
426:
416:
415:
411:
401:
400:
396:
387:
385:
382:"Epsilon 0.618"
380:
379:
375:
347:
346:
342:
314:
313:
309:
299:
297:
288:
287:
283:
255:
254:
250:
222:
221:
217:
208:
206:
201:
200:
196:
187:
185:
180:
179:
175:
166:
164:
159:
158:
154:
145:
143:
140:"中国科学技术大学人力资源部"
138:
137:
133:
124:
122:
117:
116:
112:
107:
12:
11:
5:
657:
655:
647:
646:
641:
636:
626:
625:
622:
621:
616:
605:
604:External links
602:
599:
598:
588:. Springer.com
577:
567:. Springer.com
556:
519:
492:
465:
444:(2): 305–315.
424:
409:
394:
373:
360:(2): 221–236.
340:
327:(3): 295–314.
307:
281:
268:(1): 125–154.
248:
215:
194:
173:
152:
131:
109:
108:
106:
103:
13:
10:
9:
6:
4:
3:
2:
656:
645:
642:
640:
637:
635:
634:Living people
632:
631:
629:
620:
617:
615:
611:
610:Wang Dongming
608:
607:
603:
587:
581:
578:
566:
560:
557:
552:
548:
543:
538:
534:
530:
523:
520:
515:
511:
507:
503:
496:
493:
488:
484:
480:
476:
469:
466:
460:
455:
451:
447:
443:
439:
435:
428:
425:
420:
413:
410:
405:
398:
395:
383:
377:
374:
368:
363:
359:
355:
351:
344:
341:
335:
330:
326:
322:
318:
311:
308:
296:
292:
285:
282:
276:
271:
267:
263:
259:
252:
249:
243:
238:
235:(2): 83–114.
234:
230:
226:
219:
216:
205:. Ae-info.org
204:
198:
195:
183:
177:
174:
162:
156:
153:
141:
135:
132:
120:
119:"POLSYS Team"
114:
111:
104:
102:
100:
96:
91:
89:
84:
81:
76:
73:
69:
65:
61:
56:
54:
50:
46:
42:
38:
34:
30:
22:
18:
17:Wang Dongming
590:. Retrieved
580:
569:. Retrieved
559:
532:
528:
522:
505:
501:
495:
478:
474:
468:
441:
437:
427:
418:
412:
403:
397:
386:. Retrieved
376:
357:
353:
343:
324:
320:
310:
298:. Retrieved
294:
284:
265:
261:
251:
232:
228:
218:
207:. Retrieved
197:
186:. Retrieved
176:
165:. Retrieved
155:
144:. Retrieved
134:
123:. Retrieved
113:
92:
85:
77:
57:
16:
15:
508:(1): 5–12.
300:4 September
628:Categories
592:2017-09-07
571:2017-09-07
481:(1): 1–4.
388:2017-09-07
209:2017-09-07
188:2017-09-07
182:"广西日报数字报刊"
167:2017-09-07
146:2017-09-07
125:2017-09-07
105:References
542:1406.1638
55:in 2017.
612:at the
446:Bibcode
21:Chinese
23::
537:arXiv
88:ISSAC
33:China
29:Anhui
302:2017
97:and
547:doi
510:doi
483:doi
454:doi
362:doi
329:doi
270:doi
237:doi
25:王东明
630::
545:.
533:74
531:.
506:22
504:.
479:22
477:.
452:.
442:87
440:.
436:.
358:30
356:.
352:.
325:25
323:.
319:.
293:.
266:28
264:.
260:.
233:16
231:.
227:.
31:,
595:.
574:.
553:.
549::
539::
516:.
512::
489:.
485::
462:.
456::
448::
391:.
370:.
364::
337:.
331::
304:.
278:.
272::
245:.
239::
212:.
191:.
170:.
149:.
128:.
19:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.