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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Fillion, Nicolas (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Corless, Robert M. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Kotsireas, Ilias S. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: New York, NY : Springer New York : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Fields Institute Communications, 82
• Θέματα: 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...

Πίνακας περιεχομένων:

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