ENGLISH

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

By Nobuki Takayama (eds.) , Thomas C. Hales (auth.) , Komei Fukuda , Joris van der Hoeven , Michael Joswig

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2010
ISBN
9783642155826, 3642155820
DOI
10.1007/978-3-642-15582-6
Language
english
Format
PDF
Filesize
6 MB (5881625 bytes)
Series
Lecture Notes in Computer Science 6327 : Theoretical Computer Science and General Issues
Edition
1
Pages
368\382
Time added
2013-04-24 17:00:00
Discrete Mathematics in Computer Science; Math App

Description

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.

Similar books