Mathematical Software -- ICMS 2014
4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
Editors: Hong, Hoon, Yap, Chee K. (Eds.)
Free PreviewBuy this book
- About this book
-
This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held in Seoul, South Korea, in August 2014. The 108 papers included in this volume were carefully reviewed and selected from 150 submissions. The papers are organized in topical sections named: invited; exploration; group; coding; topology; algebraic; geometry; surfaces; reasoning; special; Groebner; triangular; parametric; interfaces and general.
- Table of contents (108 chapters)
-
-
Experimental Computation and Visual Theorems
Pages 1-8
-
Soft Math Math Soft
Pages 9-15
-
Flyspecking Flyspeck
Pages 16-20
-
Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions
Pages 21-25
-
Representing, Archiving, and Searching the Space of Mathematical Knowledge
Pages 26-30
-
Table of contents (108 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Mathematical Software -- ICMS 2014
- Book Subtitle
- 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
- Editors
-
- Hoon Hong
- Chee K. Yap
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 8592
- Copyright
- 2014
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-662-44199-2
- DOI
- 10.1007/978-3-662-44199-2
- Softcover ISBN
- 978-3-662-44198-5
- Edition Number
- 1
- Number of Pages
- XXXII, 735
- Number of Illustrations
- 194 b/w illustrations
- Topics