LEADER 04120nam  22005895  450 
001 9910338255803321
005 20230810162457.0
010   $a1-4939-9051-9
024 7 $a10.1007/978-1-4939-9051-1
035   $a(CKB)4100000007598208
035   $a(MiAaPQ)EBC5683656
035   $a(DE-He213)978-1-4939-9051-1
035   $a(PPN)235002208
035   $a(EXLCZ)994100000007598208
100   $a20190207d2019      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAlgorithms and Complexity in Mathematics, Epistemology, and Science $eProceedings of 2015 and 2016 ACMES Conferences /$fedited by Nicolas Fillion, Robert M. Corless, Ilias S. Kotsireas
205   $a1st ed. 2019.
210  1$aNew York, NY :$cSpringer New York :$cImprint: Springer,$d2019.
215   $a1 online resource (300 pages)
225 1 $aFields Institute Communications,$x2194-1564 ;$v82
327   $aIntroduction -- 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).
330   $aACMES (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 sciences from different perspectives, the volume will further readers' understanding of the multifaceted role of mathematics in modern science, informed by the state of the art in mathematics, scientific computing, and current modeling techniques. .
410  0$aFields Institute Communications,$x2194-1564 ;$v82
606   $aMathematics$xData processing
606   $aKnowledge, Theory of
606   $aComputer science$xMathematics
606   $aDiscrete mathematics
606   $aComputational Mathematics and Numerical Analysis
606   $aEpistemology
606   $aMathematical Applications in Computer Science
606   $aDiscrete Mathematics
615  0$aMathematics$xData processing.
615  0$aKnowledge, Theory of.
615  0$aComputer science$xMathematics.
615  0$aDiscrete mathematics.
615 14$aComputational Mathematics and Numerical Analysis.
615 24$aEpistemology.
615 24$aMathematical Applications in Computer Science.
615 24$aDiscrete Mathematics.
676   $a511.8
700   $aFillion$b Nicolas$01248191
702   $aCorless$b Robert M
702   $aKotsireas$b Ilias S
906   $aBOOK
912   $a9910338255803321
996   $aAlgorithms and Complexity in Mathematics, Epistemology, and Science$92893127
997   $aUNINA