Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Mathematical Software - ICMS 2016

5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
BuchKartoniert, Paperback
532 Seiten
Englisch
Springererschienen am06.07.20161st ed. 2016
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. information services for mathematics: software, services, models, and data;mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextThis 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. information services for mathematics: software, services, models, and data;
Details
ISBN/GTIN978-3-319-42431-6
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2016
Erscheinungsdatum06.07.2016
Auflage1st ed. 2016
ReiheTheoretical Computer Science and General Issues
Seiten532 Seiten
SpracheEnglisch
Gewicht832 g
IllustrationenXXIV, 532 p. 111 illus.
Artikel-Nr.15659093

Inhalt/Kritik

Inhaltsverzeichnis
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.mehr

Schlagworte

Autor