Mathematical Software  ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Fukuda, Komei. (Editor), Hoeven, Joris van der. (Editor), Joswig, Michael. (Editor), Takayama, Nobuki. (Editor)
• Format: Electronic
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 6327
• Subjects: Computer science.; Software engineering.; Information theory.; Computer software.; Electronic data processing.; Computational complexity.; Computer Science.; Discrete Mathematics in Computer Science.; Math Applications in Computer Science.; Numeric Computing.; Software Engineering/Programming and Operating Systems.; Algorithm Analysis and Problem Complexity.; Theory of Computation.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-15582-6
• Physical Description: XIV, 368p. 59 illus. online resource.
• ISBN: 9783642155826
• ISSN: 0302-9743

This book constitutes the refereed proceedings of the Third International Congress on Mathematical Software, ICMS 2010, held in Kobe, Japan in September 2010. The 49 revised full papers presented were carefully reviewed and selected for presentation. The papers are organized in topical sections on computational group theory, computation of special functions, computer algebra and reliable computing, computer tools for mathematical editing and scientific visualization, exact numeric computation for algebraic and geometric computation, formal proof, geometry and visualization, Groebner bases and applications, number theoretical software as well as software for optimization and polyhedral computation.