Filter by
Spectral Theory and Applications of Linear Operators and Block Operator Matrices
Examining recent mathematical developments in the study of Fredholm operators, spectral theory and block operator matrices, with a rigorous treatment of classical Riesz theory of polynomially-compact operators, this volume covers both abstract and applied developments in the study of spectral theory. These topics are intimately related to the stability of underlying physical systems and play a …
- Edition
- -
- ISBN/ISSN
- 978-3-319-17566-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Recent Advances in Industrial and Applied Mathematics
This open access book contains review papers authored by thirteen plenary invited speakers to the 9th International Congress on Industrial and Applied Mathematics (Valencia, July 15-19, 2019). Written by top-level scientists recognized worldwide, the scientific contributions cover a wide range of cutting-edge topics of industrial and applied mathematics: mathematical modeling, industrial and en…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- SEMA SIMAI Springer Series
- Call Number
- XXXIX, 249
Making Presentation Math Computable
This Open-Access-book addresses the issue of translating mathematical expressions from LaTeX to the syntax of Computer Algebra Systems (CAS). Over the past decades, especially in the domain of Sciences, Technology, Engineering, and Mathematics (STEM), LaTeX has become the de-facto standard to typeset mathematical formulae in publications. Since scientists are generally required to publish their…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- XVIII, 197
Quantitative Models in Life Science Business: From Value Creation to Business…
This open access book explores the field of life science business from a multidisciplinary perspective. Applying statistical, mathematical, game-theoretic, and data science tools to pharmaceutical and biotechnology business endeavors, the book describes value creation, value maintenance, and value realization in the life sciences as a sequence of processes using the quantitative language of app…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-11814-2
- Collation
- -
- Series Title
- SpringerBriefs in Economics
- Call Number
- IX, 127
Recent Advances in Industrial and Applied Mathematics
This open access book contains review papers authored by thirteen plenary invited speakers to the 9th International Congress on Industrial and Applied Mathematics (Valencia, July 15-19, 2019). Written by top-level scientists recognized worldwide, the scientific contributions cover a wide range of cutting-edge topics of industrial and applied mathematics: mathematical modeling, industrial and en…
- Edition
- -
- ISBN/ISSN
- 978-3-030-86236-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Frontiers of Combining Systems
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decisio…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24246-0
- Collation
- XVI, 275
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Automated Reasoning with Analytic Tableaux and Related Methods
This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from…
- Edition
- -
- ISBN/ISSN
- 978-3-031-43512-6
- Collation
- XXV, 482
- Series Title
- -
- Call Number
- -
Branes and DAHA Representations
In recent years, there has been an increased interest in exploring the connections between various disciplines of mathematics and theoretical physics such as representation theory, algebraic geometry, quantum field theory, and string theory. One of the challenges of modern mathematical physics is to understand rigorously the idea of quantization. The program of quantization by branes, which com…
- Edition
- -
- ISBN/ISSN
- 978-3-031-28153-2
- Collation
- VI, 143
- Series Title
- -
- Call Number
- -
Die Resiliente Stadt
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundati…
- Edition
- -
- ISBN/ISSN
- 978-3-662-66915-0
- Collation
- XXV, 592
- Series Title
- -
- Call Number
- -
Isaac Newton on Mathematical Certainty and Method
An analysis of Newton's mathematical work, from early discoveries to mature reflections, & a discussion of Newton's views on the role & nature of mathematics, in this book Guicciardini reconstructs Newton's own method by extracting it from his concrete practice.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262258869
- Collation
- 1 online resource (xxiii, 422 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography