Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Juli 2016
Genre:	EDV / Informatik
	Algorithm Analysis and Problem Complexity / Algorithmen und Datenstrukturen / Algorithms / Algorithms & data structures / C / computer science / Computer science—Mathematics / Discrete Mathematics in Computer Science / Diskrete Mathematik / Math Applications in Computer Science / Mathematical & statistical software / Mathematical Applications in Computer Science / Mathematical theory of computation / Maths for computer scientists / Numeric Computing / Numerical analysis / Numerische Mathematik / Operating systems / Software Engineering / Software Engineering/Programming and Operating Systems / software of polynomial systems / Theoretische Informatik / Voronoi Diagram / world digital mathematical library mehr...
ISBN:	9783319424316
EAN-Code:	9783319424316
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#9725 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	8307 gr
Seiten:	532
Illustration:	XXIV, 532 p. 111 illus., schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.