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 knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings / / Jonathan M. Borwein, William M. Farmer (eds.)
| Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings / / Jonathan M. Borwein, William M. Farmer (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (VIII, 295 p.) |
| Disciplina | 511.3/6028563 |
| Altri autori (Persone) |
BorweinJonathan M
FarmerWilliam Michael |
| Collana |
Lecture notes in computer science. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence |
| Soggetto topico |
Mathematics - Data processing
Information storage and retrieval systems - Mathematics Automatic theorem proving |
| ISBN | 3-540-37106-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The Omega Number: Irreducible Complexity in Pure Math -- Roles of Math Search in Mathematics -- Contributed Papers -- Structured Induction Proofs in Isabelle/Isar -- Interpretation of Locales in Isabelle: Theories and Proof Contexts -- A Dynamic Poincaré Principle -- A Proof-Theoretic Approach to Tactics -- A Formal Correspondence Between OMDoc with Alternative Proofs and the -Calculus -- Proof Transformation by CERES -- Synthesizing Proof Planning Methods and ?-Ants Agents from Mathematical Knowledge -- Verifying and Invalidating Textbook Proofs Using Scunak -- Capturing Abstract Matrices from Paper -- Towards a Parser for Mathematical Formula Recognition -- Stochastic Modelling of Scientific Terms Distribution in Publications -- Capturing the Content of Physics: Systems, Observables, and Experiments -- Communities of Practice in MKM: An Extensional Model -- From Notation to Semantics: There and Back Again -- Managing Informal Mathematical Knowledge: Techniques from Informal Logic -- From Untyped to Polymorphically Typed Objects in Mathematical Web Services -- Managing Automatically Formed Mathematical Theories -- Authoring LeActiveMath Calculus Content -- Information Retrieval and Rendering with MML Query -- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. |
| Altri titoli varianti | MKM 2006 |
| Record Nr. | UNINA-9910767556503321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Number theory and related fields : in memory of Alf Van der Poorten / / Jonathan M. Borwein, Igor Shparlinski, Wadim Zudilin, editors
| Number theory and related fields : in memory of Alf Van der Poorten / / Jonathan M. Borwein, Igor Shparlinski, Wadim Zudilin, editors |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | New York, : Springer, 2013 |
| Descrizione fisica | 1 online resource (x, 395 pages) : illustrations |
| Disciplina | 512.7 |
| Altri autori (Persone) |
BorweinJonathan M
ShparlinskiIgor ZudilinWadim Van Der PoortenA. J |
| Collana | Springer proceedings in mathematics & statistics |
| Soggetto topico |
Number theory
Algebra |
| ISBN | 1-4614-6642-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Life and Mathematics of Alfred Jacobus van der Poorten (D. Hunt) -- Ramanujan-Sato-Like Series (G. Almkvist, J. Guillera) -- On the Sign of the Real Part of the Riemann Zeta Function (J. Arias de Reyna, R.P. Brent, J. van de Lune) -- Additive Combinatorics with a View Toward Computer Science and Cryptography (K. Bibak) -- Transcendence of Stammering Continued Fractions (Y. Bugeaud) -- Algebraic Independence of Infinite Products and Their Derivatives (P. Bundschuh) -- Small Representations by Indefinite Ternary Quadratic Forms (J.B. Friedlander, H. Iwaniec) -- Congruences for Andrews' SPT-Function Modulo 32760 and Extension of Atkin's Hecke-Type Partition Congruences (F.G. Garvan) -- Continued Fractions and Dedekind Sums for Function Fields (Y. Hamahata) -- Burgess's Bounds for Character Sums (D.R. Heath-Brown).-Structured Hadamard Conjecture (I.S. Kotsireas) -- Families of Cubic Thue Equations with Effective Bounds for the Solutions (C. Levesque, M. Waldschmidt) -- Consequences of a Factorization Theorem for Generalized Exponential Polynomials with Infinitely Many Integer Zeros (V. Laohakosol, O. Phuksuwan) -- On Balanced Subgroups of the Multiplicative Group (C. Pomerance, D. Ulmer) -- Some Extensions of the Lucas Functions (E.L. Roettger, H.C. Williams, R.K. Guy) -- The Impact of Number Theory and Computer-Aided Mathematics on Solving the Hadamard Matrix Conjecture (J. Seberry) -- Description of Generalized Continued Fractions by Finite Automata (J. Shallit) -- Some Notes on Weighted Sum Formulae for Double Zeta Values (J. Wan) -- Period(d)ness of L-Values (W. Zudilin). |
| Record Nr. | UNINA-9910438153703321 |
| New York, : Springer, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pi: The Next Generation : A Sourcebook on the Recent History of Pi and Its Computation / / by David H. Bailey, Jonathan M. Borwein
| Pi: The Next Generation : A Sourcebook on the Recent History of Pi and Its Computation / / by David H. Bailey, Jonathan M. Borwein |
| Autore | Bailey David H |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIV, 507 p.) |
| Disciplina | 518 |
| Soggetto topico |
Computer science - Mathematics
Number theory Mathematics History Computational Mathematics and Numerical Analysis Number Theory History of Mathematical Sciences |
| ISBN | 3-319-32377-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foreword -- Preface -- Introduction -- Computation of pi using arithmetic-geometric mean -- Fast multiple-precision evaluation of elementary functions -- The arithmetic-geometric mean of Gauss -- The arithmetic-geometric mean and fast computation of elementary functions -- A simplified version of the fast algorithms of Brent and Salamin -- Is pi normal? -- The computation of pi to 29,360,000 decimal digits using Borweins' quartically convergent algorithm -- Gauss, Landen, Ramanujan, the arithmetic-geometric mean, ellipses, pi, and the ladies diary -- Vectorization of multiple-precision arithmetic program and 201,326,000 decimal digits of pi calculation.-Ramanujan and pi -- 11. Ramanujan, modular equations, and approximations to pi or how to compute one billion digits of pi -- Pi, Euler numbers, and asymptotic expansions -- A spigot algorithm for the digits of pi -- On the rapid computation of various polylogarithmic constants -- Similarities in irrationality proofs for pi, ln 2, ζ(2), and ζ(3) -- Unbounded spigot algorithms for the digits of pi -- Mathematics by experiment: Plausible reasoning in the 21st century -- Approximations to pi derived from integrals with nonnegative integrands -- Ramanujan's series for 1/π: A survey -- The computation of previously inaccessible digits of π2 and Catalan's constant -- Walking on real numbers -- Birth, growth and computation of pi to ten trillion digits -- Pi day is upon us again and we still do not know if pi is normal -- The Life of pi -- I prefer pi: A brief mathematical history and anthology of articles in the American Mathematical Monthly -- Bibliography -- Index. |
| Record Nr. | UNINA-9910254064403321 |
Bailey David H
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||