Traces and Emergence of Nonlinear Programming [[electronic resource] /] / edited by Giorgio Giorgi, Tinne Hoff Kjeldsen |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2014 |
Descrizione fisica | 1 online resource (443 p.) |
Disciplina | 519.76 |
Soggetto topico |
Computer mathematics
Mathematics History Computational Science and Engineering History of Mathematical Sciences |
ISBN | 3-0348-0439-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface and Acknowledgements -- Introductory Chapter: A Historical View of Nonlinear Programming: Traces and Emergence -- 18 historical articles. |
Record Nr. | UNINA-9910300152903321 |
Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The Turbulence Problem [[electronic resource] ] : A Persistent Riddle in Historical Perspective / / by Michael Eckert |
Autore | Eckert Michael <1949-> |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XII, 107 p. 10 illus.) |
Disciplina | 530.01 |
Collana | SpringerBriefs in History of Science and Technology |
Soggetto topico |
Physics
Fluids Fluid mechanics History Mathematics History and Philosophical Foundations of Physics Fluid- and Aerodynamics Engineering Fluid Dynamics History of Science History of Mathematical Sciences |
ISBN | 3-030-31863-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1 -- Hydrodynamics versus hydraulics -- Chapter 2 -- The turbulence problem in the 1920s -- Chapter 3 -- The rise of statistical theories of turbulence -- Chapter 4 -- Turbulence in WW II -- Chapter 5 -- Expectations and hopes: 1946–1961 -- Chapter 6 -- Computational approaches -- Chapter 7 -- Chaos and turbulence -- Chapter 8 -- Turbulence as a challenge for the historian. |
Record Nr. | UNINA-9910349500903321 |
Eckert Michael <1949-> | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Turing’s Revolution [[electronic resource] ] : The Impact of His Ideas about Computability / / edited by Giovanni Sommaruga, Thomas Strahm |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2015 |
Descrizione fisica | 1 online resource (347 p.) |
Disciplina | 510 |
Soggetto topico |
Mathematical logic
Mathematics History Logic Mathematical Logic and Foundations History of Mathematical Sciences |
ISBN | 3-319-22156-6 |
Classificazione | 68-0603-0368-0301A6001A7003D1068Q0568Q1000B15 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface (Martin Davis).-I Introduction (Sommaruga, Strahm).-II Turing and the history of computability theory -- 1. Conceptual Confluence in 1936: Post & Turing, Martin Davis and Wilfried Sieg -- 2. Algorithms: From Al-Khwarizmi to Turing and Beyond, Wolfgang Thomas -- 3. The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann? Jack Copeland and Giovanni Sommaruga -- III Generalizing Turing computability theory -- 1. Theses for Computation and Recursion on Concrete and Abstract Structures, Solomon Feferman -- 2. Generalizing Computability Theory to Abstract Algebras, John V. Tucker and Jeffrey Zucker -- 3. Discrete Transfinite Computation, Philip Welch -- 4. Semantics-to-Syntax Analyses of Algorithms, Yuri Gurevich -- 5. The Information Content of Typical Reals, George Barmpalias and Andy Lewis-Pye -- 6. Proof-theoretic Analysis by Iterated Reflection, Lev Beklemishev.-IV Philosophical reflections -- 1. Alan Turing and the Foundation of Computer Science, Juraj Hromkovic -- 2. Proving Things about the Informal, Stewart Shapiro -- 3. Why Turing’s Thesis is Not a Thesis, Robert Soare -- 4. Incomputability, Emergent, and Higher Type Computation, S. Barry Cooper. |
Record Nr. | UNINA-9910300260003321 |
Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Turning Points in the History of Mathematics [[electronic resource] /] / by Hardy Grant, Israel Kleiner |
Autore | Grant Hardy |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Birkhäuser, , 2015 |
Descrizione fisica | 1 online resource (IX, 109 p. 51 illus., 13 illus. in color.) |
Disciplina | 510.9 |
Collana | Compact Textbooks in Mathematics |
Soggetto topico |
Mathematics
History Mathematics - Study and teaching Social sciences Geometry Algebra History of Mathematical Sciences Mathematics Education Mathematics in the Humanities and Social Sciences |
ISBN | 1-4939-3264-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Axiomatics - Euclid's and Hilbert's: From Material to Formal -- Solution by Radicals of the Cubic: From Equations to Groups and from Real to Complex Numbers -- Analytic Geometry: From the Marriage of Two Fields to the Birth of a Third -- Probability: From Games of Chance to an Abstract Theory -- Calculus: From Tangents and Areas to Derivatives and Integrals -- Gaussian Integers: From Arithmetic to Arithmetics -- Non-Euclidean Geometry: From One Geometry to Many -- Hypercomplex Numbers: From Algebra to Algebras -- The Infinite: From Potential to Actual -- Philosophy of Mathematics: From Hilbert to Gödel -- Some Further Turning Points -- Index. |
Record Nr. | UNINA-9910300243903321 |
Grant Hardy | ||
New York, NY : , : Springer New York : , : Imprint : Birkhäuser, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Un mondo di idee [[electronic resource] ] : La matematica ovunque / / edited by Roberto Lucchetti, Ciro Ciliberto |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Milano : , : Springer Milan : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (258 p.) |
Disciplina |
510
510.1 |
Collana | I blu, pagine di scienza |
Soggetto topico |
Applied mathematics
Engineering mathematics Mathematics History Mathematical logic Number theory Applications of Mathematics History of Mathematical Sciences Mathematical Logic and Foundations Number Theory |
ISBN | 88-470-1744-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Nota di contenuto |
""2 Il paradosso di Condorcet""""3 Problemi di peso""; ""4 Il teorema di Arrow""; ""5 Economia e informatica""; ""6 Conclusioni""; ""Riferimenti bibliografici""; ""Una sfida a scacchi davvero speciale""; ""Applicazioni della matematica alla filogenetica""; ""1 Qualche parola su genetica e biologiamolecolare""; ""2 Introduzione alla filogenetica""; ""3 Entra in scena la matematica: grafi e alberi""; ""4 Inferenza dell�albero evolutivo dai dati osservati""; ""5 Algebra tropicale""; ""6 Lo spazio di Billera, Holmes e Vogtmann""; ""7 Conclusioni""; ""Riferimenti bibliografici""
""L�abbc dei problemi decisionali"" |
Record Nr. | UNINA-9910484721803321 |
Milano : , : Springer Milan : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Unpublished Manuscripts [[electronic resource] ] : from 1951 to 2007 / / by Lars Hörmander |
Autore | Hörmander Lars |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (x, 357 pages) |
Disciplina | 515.3 |
Soggetto topico |
Partial differential equations
Mathematics History Partial Differential Equations History of Mathematical Sciences |
ISBN | 3-319-69850-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foreword -- Origin of the manuscripts -- 25 Unpublished Manuscripts of L Hörmander -- Short Autobiography -- Looking forward from ICM 1962 -- Complete Mathematical Bibliography of Lars Hörmander -- Published Articles -- Published Books -- Lecture Notes. |
Record Nr. | UNINA-9910300100703321 |
Hörmander Lars | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Using Design Research and History to Tackle a Fundamental Problem with School Algebra [[electronic resource] /] / by Sinan Kanbir, M. A. (Ken) Clements, Nerida F. Ellerton |
Autore | Kanbir Sinan |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XXIV, 327 p. 55 illus., 14 illus. in color.) |
Disciplina | 512.0712 |
Collana | History of Mathematics Education |
Soggetto topico |
Mathematics—Study and teaching
Learning Instruction Mathematics History Mathematics Education Learning & Instruction History of Mathematical Sciences |
ISBN | 3-319-59204-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Identifying a Problem with School Algebra -- Historical Reflections on How Algebra Became a Vital Component of Middle- and Secondary-School Curricula -- Framing a Classroom Intervention Study in a Middle-School Algebra Environment -- Document Analysis: The Intended CCSSM Elementary- and Middle-School Algebra Curriculum -- Review of Pertinent Literature -- Research Design and Methodology -- Quantitative Analyses of Data -- Qualitative Analyses of Data -- Answers to Research Questions, and Discussion -- Postscript: Framing Research Aimed at Improving School Algebra. |
Record Nr. | UNINA-9910299551503321 |
Kanbir Sinan | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Varying Gravity [[electronic resource] ] : Dirac’s Legacy in Cosmology and Geophysics / / by Helge Kragh |
Autore | Kragh Helge |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 |
Descrizione fisica | 1 online resource (197 p.) |
Disciplina | 523.1 |
Collana | Science Networks. Historical Studies |
Soggetto topico |
Mathematics
History Cosmology Geophysics History of Mathematical Sciences Geophysics and Environmental Physics |
ISBN | 3-319-24379-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- 1.Introductory Issues -- 2.Varying Gravity -- 3.The Expanding Earth -- 4.After Plate Tectonics -- Bibliography -- Index. |
Record Nr. | UNINA-9910254078003321 |
Kragh Helge | ||
Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Vito Volterra [[electronic resource] /] / by Angelo Guerraggio, Giovanni Paoloni |
Autore | Guerraggio Angelo |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (181 p.) |
Disciplina |
510.92
574/.0724 |
Soggetto topico |
Mathematics
History History of Mathematical Sciences |
Soggetto genere / forma |
Biography
History |
ISBN |
1-299-19749-3
3-642-27263-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | I. Chronicles of Italian life -- II. Professor in Pisa -- III. The cats of Torino -- IV. Rome, public appointments, the politician -- V. Days of firing from a dirigible -- VI. From war to peace: Italy’s National Research Council -- VII. The end of freedom -- VIII. After the cats, fish -- IX. Time runs out -- Appendix I: Significant dates in Italian history 1849-1945 -- Appendix II: Significant dates in the life of Vito Volterra 1860-1940 -- Index of Names. |
Record Nr. | UNINA-9910438143403321 |
Guerraggio Angelo | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Wagner’s Theory of Generalised Heaps [[electronic resource] /] / by Christopher D. Hollings, Mark V. Lawson |
Autore | Hollings Christopher D |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XV, 189 p. 19 illus.) |
Disciplina | 512.2 |
Soggetto topico |
Group theory
Mathematics History Differential geometry Group Theory and Generalizations History of Mathematical Sciences Differential Geometry |
ISBN | 3-319-63621-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction -- 2. Viktor VladimirovichWagner (1908–1981) -- 3. Wagner’s work in historical context -- 4. Notes on the translations -- 5. A ternary algebraic operation in the theory of coordinate structures -- 6. On the theory of partial transformations -- 7. Generalised groups -- 8. Theory of generalised heaps and generalised groups -- 9. Generalised heaps as affine structures. - Wagner’s publications. –Index. |
Record Nr. | UNINA-9910254303203321 |
Hollings Christopher D | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|