Mathematical Software – ICMS 2010: Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
Thomas C. Hales (auth.), Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama (eds.)
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.
Thể loại:
Năm:
2010
In lần thứ:
1
Nhà xuát bản:
Springer-Verlag Berlin Heidelberg
Ngôn ngữ:
english
Trang:
368
ISBN 10:
3642155812
Loạt:
Lecture Notes in Computer Science 6327 : Theoretical Computer Science and General Issues
File:
PDF, 5.55 MB
IPFS:
,
english, 2010