LEADER 03676nam 2200649 a 450 001 9910767507503321 005 20200520144314.0 010 $a3-540-32119-5 010 $a3-540-26296-2 024 7 $a10.1007/b137294 035 $a(CKB)1000000000213069 035 $a(SSID)ssj0000316852 035 $a(PQKBManifestationID)11251764 035 $a(PQKBTitleCode)TC0000316852 035 $a(PQKBWorkID)10275983 035 $a(PQKB)10124167 035 $a(DE-He213)978-3-540-32119-4 035 $a(MiAaPQ)EBC3067965 035 $a(PPN)12309559X 035 $a(EXLCZ)991000000000213069 100 $a20050518d2005 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer algebra and geometric algebra with applications $e6th international workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and international workshop, GIAE 2004, Xian, China, May 24-28, 2004 : revised selected papers /$fHongbo Li, Peter J. Olver, Gerald Sommer (eds.) 205 $a1st ed. 2005. 210 $aBerlin ;$aNew York $cSpringer$d2005 215 $a1 online resource (IX, 449 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v3519 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$aPrinted edition: 9783540262961 320 $aIncludes bibliographical references and index. 327 $apt. 1. Computer algebra and applications -- pt. 2. Geometric algebra and applications. 330 $aMathematicsMechanization 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 work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di?ers from the closely related disciplines like Computer Mathematics, Symbolic Computation and Automated Reasoning in that its goal is to make algorithmic studies and applications of mathematics the major trend of mathematics development in the information age. The International Workshop on Mathematics Mechanization (IWMM) was initiated by Prof. Wu in 1992, and has ever since been held by the Key L- oratory of Mathematics Mechanization (KLMM) of the Chinese Academy of Sciences. There have been seven workshops of the series up to now. At each workshop, several experts are invited to deliver plenary lectures on cutting-edge methods and algorithms of the selected theme. The workshop is also a forum for people working on related subjects to meet, collaborate and exchange ideas. 410 0$aLecture notes in computer science ;$v3519. 517 3 $aIWMM 2004 517 3 $aGIAE 2004 606 $aAlgebra$xData processing$vCongresses 606 $aComputer algorithms$vCongresses 606 $aGeometry, Algebraic$vCongresses 615 0$aAlgebra$xData processing 615 0$aComputer algorithms 615 0$aGeometry, Algebraic 676 $a512 701 $aLi$b Hongbo$01724509 701 $aOlver$b Peter J$040590 701 $aSommer$b Gerald$f1945-$01756707 712 12$aGIAE 2004$f(2004 :$eXi'an, Shaanxi Sheng, China) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910767507503321 996 $aComputer algebra and geometric algebra with applications$94194155 997 $aUNINA