IWMM

International Workshop on Mathematics Mechanization

Search within this conference

Search

1. 2004

   IWMM 2004

   • 19-21 May
   • Shanghai, China

   • Computer Algebra and Geometric Algebra with Applications

     30 Papers

     1 Volume