Algorithms and Complexity in Mathematics, Epistemology, and Science: Proceedings of 2015 and 2016 ACMES Conferences - Brossura

Brossura

ISBN 10: 1493990527 ISBN 13: 9781493990528

Casa editrice: Springer, 2019

Riassunto

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

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2019
• Lingua: Inglese
• ISBN 10: 1493990527
• ISBN 13: 9781493990528
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile