Profitieren Sie jetzt: 50% Rabatt auf eBooks in Chemie & Biomedizin oder Bücher in BWL, VWL & Recht!

Theoretical Computer Science and General Issues

Mathematical Software – ICMS 2016

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

Herausgeber: Greuel, G.-M., Koch, T., Paule, P., Sommese, A. (Eds.)

Dieses Buch kaufen

eBook 63,06 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-42432-3
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: EPUB, PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 79,18 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-42431-6
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Über dieses Buch

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.

Inhaltsverzeichnis (67 Kapitel)

  • With Extreme Scale Computing the Rules Have Changed

    Dongarra, Jack

    Seiten 3-6

  • Some Wellfounded Trees in UniMath

    Ahrens, Benedikt (et al.)

    Seiten 9-17

  • Exercising Nuprl’s Open-Endedness

    Rahli, Vincent

    Seiten 18-27

  • Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover

    Raumer, Jakob

    Seiten 28-33

  • Towards the Automatic Discovery of Theorems in GeoGebra

    Abánades, Miguel (et al.)

    Seiten 37-42

Dieses Buch kaufen

eBook 63,06 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-42432-3
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: EPUB, PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 79,18 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-42431-6
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Loading...

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Mathematical Software – ICMS 2016
Buchuntertitel
5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Herausgeber
  • Gert-Martin Greuel
  • Thorsten Koch
  • Peter Paule
  • Andrew Sommese
Titel der Buchreihe
Theoretical Computer Science and General Issues
Buchreihen Band
9725
Copyright
2016
Verlag
Springer International Publishing
Copyright Inhaber
Springer International Publishing Switzerland
eBook ISBN
978-3-319-42432-3
DOI
10.1007/978-3-319-42432-3
Softcover ISBN
978-3-319-42431-6
Auflage
1
Seitenzahl
XXIV, 532
Anzahl der Bilder und Tabellen
111 schwarz-weiß Abbildungen
Themen