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…
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…
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…
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…
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.
A new edition of Quine's most important work.Willard Van Orman Quine begins this influential work by declaring, "Language is a social art. In acquiring it we have to depend entirely on intersubjectively available cues as to what to say and when." As Patricia Smith Churchland notes in her foreword to this new edition, with Word and Object Quine challenged the tradition of conceptual analysis as …
OCLC-licensed vendor bibliographic record.
This volume contains thirteen papers that were presented at the 2014 Annual Meeting of the Canadian Society for History and Philosophy of Mathematics/La Société Canadienne d’Histoire et de Philosophie des Mathématiques, held on the campus of Brock University in St. Catharines, Ontario, Canada. It contains rigorously reviewed modern scholarship on general topics in the history and philosoph…
Lectures, many never before published, that offer insights into the early thinking of the mathematician and polymath George Boole.George Boole (1815-1864), remembered by history as the developer of an eponymous form of algebraic logic, can be considered a pioneer of the information age not only because of the application of Boolean logic to the design of switching circuits but also because of h…
"Sparse modeling is a rapidly developing area at the intersection of statistical learning and signal processing, motivated by the age-old statistical problem of selecting a small number of predictive variables in high-dimensional datasets. This collection describes key approaches in sparse modeling, focusing on its applications in fields including neuroscience, computational biology, and comput…