Conference Program

Proceedings available online

May 19-21, 2004
ZhuJiaJiao, Shanghai, China

How to get there?




Mathematics Mechanization is closely related to disciplines like Automated Reasoning, Symbolic Computation and Computer Algebra. The name Mathematics Mechanization has its origin in the works of Hao Wang, one of the pioneers in using computers to do research in mathematics, particularly in automated theorem-proving.

The International Workshop on Mathematics Mechanization (IWMM) was initiated by Professor Wu, Wentsun in 1992. Since then, there have been five workshops of the series. The series aims at the interchange of views and ideas on the development of related subjects for the purpose of world-wide cooperations. At each workshop, one or two prestigious experts are invited to deliver plenary series lectures on cutting-edge methods and algorithms of the selected theme. It is also a forum for people working on related subjects to meet, collaborate and exchange ideas.

This year's workshop IWMM04 takes as its theme "Constructive and Invariant Methods in Algebraic and Differential Equations", reflecting the important role that constructive and invariant methods playing in equation solving and applications. It will bring together the world's highly respected authorities on constructive algebraic geometry, differential algebra, invariant theory, ordinary and partial differential equations, to share their knowledge and demonstrate their ideas.




Wu, Wentsun Institute of Systems Science, Chinese Academy of Sciences

Olver, Peter University of Minnesota, USA

Sommer, Gerald  Christian-Albrechts-University of Kiel , Germany

Wang, Dongming Laboratoire d'Informatique de Paris 6 Université Pierre et Marie Curie - CNRS, France

Havel, Timothy Massachusetts Institute of Technology, USA

Brini, Andrea Universita di Bologna, Italy

White, Neil University of Florida, USA

Reid, Greg University of Western Ontario, Canada

Cano, Jose University de Valladolid, Spain

Zhang, Hongqing Dalian University of Technology, Dalian

Wu, Ke & Wang, Shikun Capital Normal University & AMSS, Chinese Academy of Sciences, Beijing

William Y. C. Chen Nankai University, China


There is no registration fee. If you want to attend the tour after the conference, you need to pay 150 RMB. To register please fill out the form and fax it to 0086-10-62630706.


It is convenient to apply a tourist visa to enter China. In this case, you do NOT need any document from us. If you want to apply a business visa to enter China, please contact us.


The guest rooms in the conference hotel all have two beds, and the discount price during the conference is between $20 and $35 per night. We have reserved a limited number of hotel rooms. If you need a room in the hotel, plese inform us as soon as possible.


ZhuJiaJiao, the "Venice of Shanghai", is a riverside, quiet, historic town in the suburb of Shanghai. More information can be found at: