LEADER 03299nam  22005894a 450 
001 9910778253703321
005 20230607222001.0
010   $a981-277-717-2
035   $a(CKB)1000000000480125
035   $a(StDuBDS)AH24684709
035   $a(SSID)ssj0000199186
035   $a(PQKBManifestationID)11183495
035   $a(PQKBTitleCode)TC0000199186
035   $a(PQKBWorkID)10184623
035   $a(PQKB)10142997
035   $a(MiAaPQ)EBC1679901
035   $a(WSP)00005007
035   $a(Au-PeEL)EBL1679901
035   $a(CaPaEBR)ebr10201192
035   $a(CaONFJC)MIL491694
035   $a(OCoLC)879024190
035   $a(iGPub)WSPCB0004591
035   $a(EXLCZ)991000000000480125
100   $a20050429d2002      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aMathematical software$b[electronic resource] $eproceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /$feditors, Arjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama
210   $aSingapore ;$aRiver Edge, N.J. $cWorld Scientific$dc2002
215   $a1 online resource (400p.) 
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a981-238-048-5 
320   $aIncludes bibliographical references and indexes.
327   $aSoftware Engineering Problems for Mathematical Software: Designs of Programming languages for Mathematics; Data Structures for Mathematics; Standards to Allow Cooperation; Review of Internal Structures of Systems; Tricks in Real Implementations; Mathematics and Media (Including User Interfaces); Mathematics Related to Mathematical Software (Experiments, Algorithms); High Performance Computing; Applications of Mathematical Software; Presentation of Mathematical Software; and other papers.
330 8 $aA study of mathematical software, which is used to construct examples, prove theorems, and find new mathematical phenomena. The volume is aimed at software developers in mathematics and programming mathematicians, but it also provides opportunities to discuss the topics with mathematicians.$bThe advent of mathematical software has been one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. On the other hand, mathematical research often motivates developments of new algorithms and new systems.;Mathematical software systems rely on the co-operation of mathematicians, designers of algorithms, and mathematical programmers. This volume is aimed at software developers in mathematics and programming mathematicians, but it also provides opportunities to discuss the topics with mathematicians.
606   $aMathematics$xData processing$vCongresses
606   $aComputer software$vCongresses
615  0$aMathematics$xData processing
615  0$aComputer software
676   $a510/.285/536
701   $aCohen$b Arjeh M$042267
701   $aGao$b Xiao-Shan$0983173
701   $aTakayama$b Nobuki$f1959-$01579905
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910778253703321
996   $aMathematical software$93860325
997   $aUNINA