Articoli correlati a Mathematical Software - ICMS 2016: 5th International...

Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings - Brossura

 
9783319424330: Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Brossura
ISBN 10: 3319424335 ISBN 13: 9783319424330
Casa editrice: Springer, 2016

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2016
Lingua
Inglese
ISBN 10 
3319424335
ISBN 13 
9783319424330
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783319424316: Mathematical Software – ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings: Icms 2016, 5th International Conference, Proceedings: 9725

Edizione in evidenza

ISBN 10:  3319424319 ISBN 13:  9783319424316
Casa editrice: Springer, 2016
Brossura