Filter by
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, …
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solv…
- Edition
- 1
- ISBN/ISSN
- 9783031107696
- Collation
- XV, 756
- Series Title
- -
- Call Number
- -
Model and Mathematics: From the 19th to the 21st Century
This open access book collects the historical and medial perspectives of a systematic and epistemological analysis of the complicated, multifaceted relationship between model and mathematics, ranging from, for example, the physical mathematical models of the 19th century to the simulation and digital modelling of the 21st century. The aim of this anthology is to showcase the status of the mathe…
- Edition
- -
- ISBN/ISSN
- 978-3-030-97833-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Framing Global Mathematics
This open access book is about the shaping of international relations in mathematics over the last two hundred years. It focusses on institutions and organizations that were created to frame the international dimension of mathematical research. Today, striking evidence of globalized mathematics is provided by countless international meetings and the worldwide repository ArXiv. The text follows …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-95683-7
- Collation
- -
- Series Title
- -
- Call Number
- CCCLXXXIV, 20
Special Topics in Mathematics for Computer Scientists: Sets, Categories, Top…
This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programming languages, probabilistic process algebras, modal and dynamic logics and Markov transition systems. Using motivations, rigorous definitions, proofs and various examples, the author systematically int…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22750-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Spectral Methods in Chemistry and Physics: Applications to Kinetic Theory and…
This book is a pedagogical presentation of the application of spectral and pseudospectral methods to kinetic theory and quantum mechanics. There are additional applications to astrophysics, engineering, biology and many other fields. The main objective of this book is to provide the basic concepts to enable the use of spectral and pseudospectral methods to solve problems in diverse fields of in…
- Edition
- -
- ISBN/ISSN
- 978-94-017-9454-1
- Collation
- -
- Series Title
- -
- Call Number
- -
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
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
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography