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 |
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 |
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 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 | ||
|
Tools and Mathematics / / by John Monaghan, Luc Trouche, Jonathan M. Borwein |
Autore | Monaghan John |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (497 p.) |
Disciplina | 510 |
Collana | Mathematics Education Library |
Soggetto topico |
Mathematics—Study and teaching
Mathematics Education |
ISBN | 3-319-02396-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface.- 1.Introduction to the book -- 2.Doing mathematics with tools: one task, four tools -- 3.The life of modern Homo Habilis Mathematicus: Experimental computation and visual theorems.- 4.Tools, human development and mathematics .- 5.The development of mat hematics practices in the Mesopotamian scribal schools -- 6.Discussions of Part A chapters.- 7. Developments relevant to the use of tools in mathematics -- 8.Constructionism -- 9.Activity theoretic approaches.- 10.Didactics of mathematics: concepts, roots, interactions and dynamics from France.- 11.Discussion of issues in chapters in Part B -- 12.Integrating tools as an ordinary component of the curriculum in mathematics education.- 13.The calculator debate.- 14. Tools and mathematics in the real world.- 15.Mathematics teachers and digital tools.- 16. Tasks and digital tools.- 17.Games: artefacts in gameplay.- 18.Connectivity in mathematics education: Drawing some lessons from the current experiences and questioning the future of the concept.- Epilogue. |
Record Nr. | UNINA-9910255156803321 |
Monaghan John | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|