Filter by
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
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
- -
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
- -
Word and Object
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 …
- Edition
- New ed.
- ISBN/ISSN
- 9780262312790
- Collation
- 1 online resource (xxx, 277 pages)
- Series Title
- -
- Call Number
- -
A brain for numbers :the biology of the number instinct
OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262354318
- Collation
- 1 online resource (344 pages).
- Series Title
- -
- Call Number
- -
Research in History and Philosophy of Mathematics
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…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-22258-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography