Mathematical Software - ICMS 2016
. Ed(s): Greuel, Gert-Martin; Koch, Thorsten; Paule, Peter; Sommese, Andrew
ISBN 10: 3319424319 ISBN 13: 9783319424316
Verlag: Springer International Publishing AG, 2016
Neu
Softcover
Verkäufer
Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 9. Oktober 2009
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Editor(s): Greuel, Gert-Martin; Koch, Thorsten; Paule, Peter; Sommese, Andrew. Series: Lecture Notes in Computer Science. Num Pages: 556 pages, 111 black & white illustrations, biography. BIC Classification: UMB; UMZ; UN; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 842. . 2016. Paperback. . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9783319424316
Inhaltsangabe:
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.Reseña del editor:
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Mathematical Software - ICMS 2016
Verlag: Springer International Publishing AG
Erscheinungsdatum: 2016
Einband: Softcover
Zustand: New
Beste Suchergebnisse beim ZVAB
Foto des Verkäufers
Mathematical Software - ICMS 2016. 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings.
Verlag:
Cham, Springer International Publishing AG, 2016
ISBN 10: 3319424319
ISBN 13: 9783319424316
Gebraucht
Softcover
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
533 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7951 9783319424316 Sprache: Englisch Gewicht in Gramm: 900. Artikel-Nr. 2347649
Anzahl: 1 verfügbar
Foto des Verkäufers
Mathematical Software - ICMS 2016
ISBN 10: 3319424319
ISBN 13: 9783319424316
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch. Artikel-Nr. 9783319424316
Anzahl: 2 verfügbar
Foto des Verkäufers
Mathematical Software ¿ ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Verlag:
Springer International Publishing, 2016
ISBN 10: 3319424319
ISBN 13: 9783319424316
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783319424316
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings (Theoretical Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783319424316_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Mathematical Software Icms 2016: Icms 2016, 5th International Conference, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 556 pages. 9.25x6.10x1.26 inches. In Stock. Artikel-Nr. x-3319424319
Anzahl: 2 verfügbar