Computational Real Algebra and Real Geometry

The Eighth International Workshop on Mathematics Mechanization


July 11-12, 2004
Peking University, Beijing, China 


The theory and practice of computation in real algebra and real geometry and related domains has generated an increasing interest both for its theoretical possibilities and its usefulness in applications in science and engineering. This workshop ---- the 8th International Workshop on Mathematics Mechanization (IWMM) ---- takes as its theme " Computational Real Algebra and Real Geometry ", reflecting the important role that constructive methods playing in the research of real algebra and real geometry. It will bring together the world's highly respected authorities on computational real algebra and real geometry to share their knowledge and exchange their ideas.

If you want to give a presentation at the workshop, please send the title and an abstract to one of the organization committee co-chairs.





There is no registration fee. If you want to attend the tour after the workshop, you need to pay 150 RMB. To register please send an email to one of the co-chairs.


The workshop will be held in Shao Yuan Hotel inside the beautiful campus of Peking University.


The guest rooms in the conference hotel all have two beds, and the discount price during the conference is between $25 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.


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.


A tour will be organized to visit the Great Wall: