Mathematical Software – ICMS 2016
5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Series: Lecture Notes in Computer Science; 9725;
- Publisher's listprice EUR 53.49
-
22 184 Ft (21 128 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 20% (cc. 4 437 Ft off)
- Discounted price 17 748 Ft (16 902 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
22 184 Ft
Availability
printed on demand
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Edition number 1st ed. 2016
- Publisher Springer International Publishing
- Date of Publication 6 July 2016
- Number of Volumes 1 pieces, Book
- ISBN 9783319424316
- Binding Paperback
- No. of pages532 pages
- Size 235x155 mm
- Weight 8307 g
- Language English
- Illustrations XXIV, 532 p. 111 illus. Illustrations, black & white 0
Categories
Long description:
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. MoreTable of Contents:
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
Searching for Resilience in Sustainable Development: Learning Journeys in Conservation
