Algorithms and Complexity in Mathematics, Epistemology, and Science Proceedings of 2015 and 2016 ACMES Conferences /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Fillion, Nicolas (Editor, http://id.loc.gov/vocabulary/relators/edt), Corless, Robert M. (Editor, http://id.loc.gov/vocabulary/relators/edt), Kotsireas, Ilias S. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: New York, NY : Springer New York : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Fields Institute Communications, 82
• Subjects: Computer mathematics.; Epistemology.; Computer science-Mathematics.; Combinatorics.; Computational Mathematics and Numerical Analysis.; Math Applications in Computer Science.

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 conference...

Table of Contents:

• 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).