Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Mathematical Software – ICMS 2016 [[electronic resource] ] : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / / edited by Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese
| Mathematical Software – ICMS 2016 [[electronic resource] ] : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / / edited by Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXIV, 532 p. 111 illus.) |
| Disciplina | 510.285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Numerical analysis Software engineering Algorithms Discrete Mathematics in Computer Science Mathematical Applications in Computer Science Numerical Analysis Software Engineering |
| ISBN | 3-319-42432-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996465702903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Software – ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / / edited by Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese
| Mathematical Software – ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / / edited by Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXIV, 532 p. 111 illus.) |
| Disciplina | 510.285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Numerical analysis Software engineering Algorithms Discrete Mathematics in Computer Science Mathematical Applications in Computer Science Numerical Analysis Software Engineering |
| ISBN | 3-319-42432-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910483174603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||