| Título : |
Algorithms and Complexity in Mathematics, Epistemology, and Science : Proceedings of 2015 and 2016 ACMES Conferences |
| Tipo de documento: |
documento electrónico |
| Autores: |
Fillion, Nicolas, ; Corless, Robert M., ; Kotsireas, Ilias S., |
| Mención de edición: |
1 ed. |
| Editorial: |
New York, N.Y. [USA] : Springer |
| Fecha de publicación: |
2019 |
| Número de páginas: |
XI, 294 p. 53 ilustraciones, 28 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-1-4939-9051-1 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Matemáticas Conocimiento Teoría de Informática Matemáticas discretas Matemática Computacional y Análisis Numérico Epistemología Aplicaciones matemáticas en informática |
| Índice Dewey: |
518 |
| Resumen: |
ACMES (Algoritmos y Complejidad en Matemáticas, Epistemología y Ciencias) es una serie de conferencias multidisciplinarias que se centra en cuestiones epistemológicas y matemáticas relacionadas con la computación en la ciencia moderna. Este volumen incluye una selección de artículos presentados en las conferencias de 2015 y 2016 celebradas en Western University que brindan una perspectiva interdisciplinaria sobre las matemáticas aplicadas modernas que se basa en la teoría y la práctica, y las sitúa en el contexto adecuado. Estos artículos provienen de destacados matemáticos, científicos computacionales y filósofos de la ciencia, y cubren una amplia colección de temas matemáticos y filosóficos, incluido el análisis numérico y su filosofía subyacente, álgebra informática, cuantificación de confiabilidad e incertidumbre, teoría de la computación y la complejidad, combinatoria, error. análisis, teoría de perturbaciones, matemáticas experimentales, epistemología científica y fundamentos de las matemáticas. Al reunir contribuciones de investigadores que abordan las ciencias matemáticas desde diferentes perspectivas, el volumen ampliará la comprensión de los lectores sobre el papel multifacético de las matemáticas en la ciencia moderna, informado por los últimos avances en matemáticas, informática científica y técnicas de modelado actuales. . |
| Nota de contenido: |
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). |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Algorithms and Complexity in Mathematics, Epistemology, and Science : Proceedings of 2015 and 2016 ACMES Conferences [documento electrónico] / Fillion, Nicolas, ; Corless, Robert M., ; Kotsireas, Ilias S., . - 1 ed. . - New York, N.Y. [USA] : Springer, 2019 . - XI, 294 p. 53 ilustraciones, 28 ilustraciones en color. ISBN : 978-1-4939-9051-1 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Matemáticas Conocimiento Teoría de Informática Matemáticas discretas Matemática Computacional y Análisis Numérico Epistemología Aplicaciones matemáticas en informática |
| Índice Dewey: |
518 |
| Resumen: |
ACMES (Algoritmos y Complejidad en Matemáticas, Epistemología y Ciencias) es una serie de conferencias multidisciplinarias que se centra en cuestiones epistemológicas y matemáticas relacionadas con la computación en la ciencia moderna. Este volumen incluye una selección de artículos presentados en las conferencias de 2015 y 2016 celebradas en Western University que brindan una perspectiva interdisciplinaria sobre las matemáticas aplicadas modernas que se basa en la teoría y la práctica, y las sitúa en el contexto adecuado. Estos artículos provienen de destacados matemáticos, científicos computacionales y filósofos de la ciencia, y cubren una amplia colección de temas matemáticos y filosóficos, incluido el análisis numérico y su filosofía subyacente, álgebra informática, cuantificación de confiabilidad e incertidumbre, teoría de la computación y la complejidad, combinatoria, error. análisis, teoría de perturbaciones, matemáticas experimentales, epistemología científica y fundamentos de las matemáticas. Al reunir contribuciones de investigadores que abordan las ciencias matemáticas desde diferentes perspectivas, el volumen ampliará la comprensión de los lectores sobre el papel multifacético de las matemáticas en la ciencia moderna, informado por los últimos avances en matemáticas, informática científica y técnicas de modelado actuales. . |
| Nota de contenido: |
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). |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Hacer una sugerencia Refinar búsquedaAlgorithms and Complexity in Mathematics, Epistemology, and Science / Fillion, Nicolas ; Corless, Robert M. ; Kotsireas, Ilias S.
