Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Li, Hongbo (Editor), Olver, Peter J. (Editor), Sommer, Gerald (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Series: Lecture Notes in Computer Science, 3519
• Subjects: Computer science.; Algorithms.; Numerical analysis.; Artificial intelligence.; Computer graphics.; Image processing.; Computer mathematics.; Computer Science.; Algorithm Analysis and Problem Complexity.; Numeric Computing.; Computer Graphics.; Image Processing and Computer Vision.; Artificial Intelligence (incl. Robotics).; Computational Science and Engineering.

MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name “Mathematics Mechanization” has its origin in the...