Mathematical Software – ICMS 2018

6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

James H. Davenport, Manuel Kauers, George Labahn, Josef Urban (Herausgeber)

Buch | Softcover

XIX, 508 Seiten

2018
Springer International Publishing (Verlag)
9783319964171 (ISBN)

Artikel merken

This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018.The 59 papers included in this volume were carefully reviewed and selected from numerous submissions. The program of the 2018 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and progress in a subeld of mathematical software research, development and use.

Logic.- Number theory.- Combinatorics.- Algebra.- Analysis.- Geometry.- Inter-disciplinary.- Mathematical problem solving platform.

Erscheinungsdatum	15.07.2018
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XIX, 508 p. 132 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	789 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Themenwelt	Mathematik / Informatik ► Mathematik
Schlagworte	Algorithmic Combinatorics • Artificial Intelligence • authentication • Computational Logic • Computer-Aided Design • Computer Algebra • Data Security • Formal Logic • Information Retrieval • Information Services • machine learning • mathematical languages • mathematical software • Numerical analysis • Optimization • Programming Languages • Public Key Cryptography • satisfiability checking • Semantics • Symbolic Computation
ISBN-13	9783319964171 / 9783319964171
Zustand	Neuware