Get Free Shipping on orders over $79
Mathematical Software - Icms 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings - Andrew Sommese

Mathematical Software - Icms 2016

5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

By: Andrew Sommese (Editor), Thorsten Koch (Editor), Peter Paule (Editor), Gert-Martin Greuel (Editor)

Paperback | 6 July 2016

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016.



The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective analysis, and special functions; mathematical optimization; interactive operation to scientific artwork and mathematical reasoning; information services for mathematics: software, services, models, and data; semDML: towards a semantic layer of a world digital mathematical library; miscellanea.

More in Algorithms & Data Structures

Addiction by Design : Machine Gambling in Las Vegas - Natasha Dow Schll
How to Prove It : A Structured Approach - Daniel J. Velleman

RRP $73.95

$70.75

Python for Algorithmic Trading : From Idea to Cloud Deployment - Yves Hilpisch
Learning Algorithms : A Programmer's Guide to Writing Better Code - George Heineman
Fundamentals of Data Structures and Algorithms - Elvis C. Foster

RRP $380.00

$325.99

14%
OFF
Fundamentals of Data Structures and Algorithms - Elvis C. Foster

RRP $158.00

$141.75

10%
OFF
Hacker's Delight - Henry Warren

RRP $97.60

$76.75

21%
OFF