IWMM
International Workshop on Mathematics Mechanization
-
2004
IWMM 2004
- 19-21 May
- Shanghai, China
-
Computer Algebra and Geometric Algebra with Applications
30 Papers
1 Volume