Algorithms and Complexity in Mathematics, Epistemology, and Science : Proceedings of 2015 and 2016 ACMES Conferences. 1st ed. 2019
- 種類:
- 電子ブック
- 責任表示:
- edited by Nicolas Fillion, Robert M. Corless, Ilias S. Kotsireas
- 出版情報:
- New York, NY : Springer New York : Imprint: Springer, 2019
- 著者名:
- シリーズ名:
- Fields Institute Communications ; 82
- ISBN:
- 9781493990511 [1493990519]
- 注記:
- Introduction -- Ethics and the Continuum Hypothesis (J.R. Brown) -- How to Generate All Possible Rational Wilf-Zeilberger Pairs (S. Chen) -- Backward Error Analysis for Perturbation Methods (R.M. Corless, N. Fillion) -- Proof Verification Technology and Elementary Physics (E. Davis) -- An Applied/Computational Mathematician's View of Uncertainty Quantification for Complex Systems (M. Gunzburger) -- Dynamical Symmetries and Model Validation (B.C. Jantzen) -- Modeling the Biases in Last Digit Distributions of Consecutive Primes (D. Lichtblau) -- Computational Aspects of Hamburger's Theorem (Y. Matiyasevich) -- Effective Validity: A Generalized Logic for Stable Approximate Inference (R.H.C. Moir) -- Counterfactuals in the Real World (J. Woodward, M. Wilson).
ACMES (Algorithms and Complexity in Mathematics, Epistemology, and Science) is a multidisciplinary conference series that focuses on epistemological and mathematical issues relating to computation in modern science. This volume includes a selection of papers presented at the 2015 and 2016 conferences held at Western University that provide an interdisciplinary outlook on modern applied mathematics that draws from theory and practice, and situates it in proper context. These papers come from leading mathematicians, computational scientists, and philosophers of science, and cover a broad collection of mathematical and philosophical topics, including numerical analysis and its underlying philosophy, computer algebra, reliability and uncertainty quantification, computation and complexity theory, combinatorics, error analysis, perturbation theory, experimental mathematics, scientific epistemology, and foundations of mathematics. By bringing together contributions from researchers who approach the mathematical scie - ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
Springer Berlin Heidelberg : Imprint: Springer |
7
電子ブック
Mathematics and Computing : ICMC 2018, Varanasi, India, January 9-11, Selected Contributions
Springer Nature Singapore : Imprint: Springer |
Springer International Publishing : Imprint: Springer |
Springer International Publishing : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer International Publishing : Imprint: Birkhäuser |
Springer Berlin Heidelberg : Imprint: Springer |
Springer International Publishing : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
11
電子ブック
A Graduate Introduction to Numerical Methods : From the Viewpoint of Backward Error Analysis
Springer New York : Imprint: Springer |
Springer International Publishing : Imprint: Springer |
Springer International Publishing : Imprint: Springer |