Geometric Invariance and Applications in Engineering (GIAE)

International Workshop on Mathematics Mechanizationds (IWMM)

IWMM Home Page

IWMM/GIAE 2004: Shanghai/Xian, China

a service of Schloss Dagstuhl - Leibniz Center for Informatics