Buch, Englisch, Band 9725, 532 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 8307 g
5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Buch, Englisch, Band 9725, 532 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 8307 g
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-319-42431-6
Verlag: Springer International Publishing
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
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.