Filter by
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, …
This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions. The papers focus on the following topics: theorem proving and tools; S…
- Edition
- 1
- ISBN/ISSN
- 9783031634987
- Collation
- XVI, 482
- Series Title
- -
- Call Number
- -
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
- -
The Logical Writings of Karl Popper
This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Poppe…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-94926-6
- Collation
- -
- Series Title
- Trends in Logic
- Call Number
- XXIV, 552
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
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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography