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.
Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory / / edited by Johannes Blümlein, Carsten Schneider, Peter Paule
| Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory / / edited by Johannes Blümlein, Carsten Schneider, Peter Paule |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (511 pages) |
| Disciplina | 515.983 |
| Collana | Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria |
| Soggetto topico |
Computer science—Mathematics
Quantum field theory String theory Mathematical physics Symbolic and Algebraic Manipulation Quantum Field Theories, String Theory Mathematical Physics |
| ISBN | 3-030-04480-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Graph complexes and Cutkosky rules -- Differential equations and dispersion relations for Feynman amplitudes with elliptic functions -- Elliptic integrals and the two-loop ttbar production in QCD -- Solutions of 2nd and 3rd order differential equations with more singularities -- Analytic continuation of Feynman diagrams with elliptic solutions -- Twisted elliptic multiple zeta values and non-planar one-loop open-string amplitudes -- Genus one superstring amplitudes and modular forms -- Difference field methods in Feynman diagram calculations -- Feynman integrals and iterated integrals of modular forms -- Iterated elliptic and hypergeometric integrals for Feynman diagrams. - Feynman integrals, L-series and Kloosterman moments. |
| Record Nr. | UNINA-9910337582103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Mathematics, computer science and logic - a never ending story [[electronic resource] ] : the Bruno Buchberger festschrift / / edited by Peter Paule
| Mathematics, computer science and logic - a never ending story [[electronic resource] ] : the Bruno Buchberger festschrift / / edited by Peter Paule |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (120 p.) |
| Disciplina |
004
004.0151 005.1 510 |
| Soggetto topico |
Algorithms
Mathematical logic Computer software Software engineering Computers Mathematical Logic and Foundations Mathematical Software Software Engineering/Programming and Operating Systems Theory of Computation |
| ISBN | 3-319-00966-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Henk Barendregt: Foundations of Mathematics from the Perspective of Computer Verification -- Manfred Broy: On the Role of Logic and Algebra in Software Engineering -- Stephen Wolfram: New Directions in the Foundations of Mathematics (2002) -- Doron Zeilberger: Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics. |
| Record Nr. | UNINA-9910741146403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||