03299nam 22005894a 450 991077825370332120230607222001.0981-277-717-2(CKB)1000000000480125(StDuBDS)AH24684709(SSID)ssj0000199186(PQKBManifestationID)11183495(PQKBTitleCode)TC0000199186(PQKBWorkID)10184623(PQKB)10142997(MiAaPQ)EBC1679901(WSP)00005007(Au-PeEL)EBL1679901(CaPaEBR)ebr10201192(CaONFJC)MIL491694(OCoLC)879024190(iGPub)WSPCB0004591(EXLCZ)99100000000048012520050429d2002 uy 0engur|||||||||||txtccrMathematical software[electronic resource] proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /editors, Arjeh M. Cohen, Xiao-Shan Gao, Nobuki TakayamaSingapore ;River Edge, N.J. World Scientificc20021 online resource (400p.) Bibliographic Level Mode of Issuance: Monograph981-238-048-5 Includes bibliographical references and indexes.Software 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.A 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.The 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.MathematicsData processingCongressesComputer softwareCongressesMathematicsData processingComputer software510/.285/536Cohen Arjeh M42267Gao Xiao-Shan983173Takayama Nobuki1959-1579905MiAaPQMiAaPQMiAaPQBOOK9910778253703321Mathematical software3860325UNINA