About these proceedings
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.
LaTeX TeX computational geometry computations in finite fields computer algebra systems data management systems differential algebra graphical user interface hybrid symbolic-numeric methods linear algebra algorithms parallel computing methodologies software library symbolic and algebraic manipulation theorem proving algorithms user interfaces verification