Autor Corless, Robert M.
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsqueda4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2–6, 2020, Revised Selected Papers / Corless, Robert M. ; Gerhard, Jürgen ; Kotsireas, Ilias S.
Título : 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2–6, 2020, Revised Selected Papers Tipo de documento: documento electrónico Autores: Corless, Robert M., ; Gerhard, Jürgen, ; Kotsireas, Ilias S., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XV, 464 p. 191 ilustraciones, 138 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-81698-8 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: Software de la aplicacion Informática Matemáticas Procesamiento de imágenes Visión por computador Inteligencia artificial Aplicaciones informáticas y de sistemas de información Aplicaciones matemáticas en informática Matemática Computacional y Análisis Numérico Imágenes por computadora visión reconocimiento de patrones y gráficos Índice Dewey: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro constituye las actas arbitradas de la 4ta Conferencia Maple, MC 2020, celebrada en Waterloo, Ontario, Canadá, en noviembre de 2020. Los 25 artículos completos revisados y 3 artículos breves fueron cuidadosamente revisados y seleccionados de 75 presentaciones, un artículo invitado también es presentado en el volumen. Los artículos incluidos en este libro cubren temas de educación, algoritmos y aplicaciones del software matemático Maple. . Nota de contenido: Bohemian Matrices: Past, Present and Future -- The TruncatedSeries Package for Solving Linear Ordinary Differential Equations Having Truncated Series Coefficients -- Computation of the Observed Spectral Sequence Spectrum for Nucleotide Sequence Alignments -- Multivariate Power Series in Maple -- Bernoulli's problem x^y=y^x and Maple -- Student satisfaction determinants in hybrid learning environments based on MAPLE -- Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs -- A MAPLE Package -- Algebraic Aspects of a Rank Factorization Problem Arising in Vibration Analysis -- Computation of the L∞-norm of finite-dimensional linear systems -- A Maple package to deal with the birationality of curves and surfaces parametrizations -- A Maple implementation of the finite element method for solving boundary-value problems for systems of second-order ordinary differential equations -- Blends in Maple -- Certified evaluations of Hölder continuous functions at roots of polynomials.-Maple for Distance Education in Secondary Schools during the Covid-19 Emergency -- Development of Problem Solving Skills with Maple in Higher Education -- Modelling and sensitivity analysis of nonlinear firefighting systems using Maple -- Merging Maple and GeoGebra Automated Reasoning Tools -- AGADE---A Maple Package for Computing Rational General Solutions of Parametrizable First-Order Algebraic ODEs -- Estimation of Travel Time for Additional Metrobus Route -- Understanding math concepts in music and vice-versa -- Numerical solution for radial distortion rectification in optical systems -- A simplified introduction to virus propagation using Maple's Turtle Graphics package suitable for children -- A Maple Toolchain for Rigid Body Dynamics of Serial, Hybrid and Parallel Robots -- Rational Trigonometry Using Maple -- Power Series Representations of Hypergeometric Type Functions -- Rational cone of norm-invariant vectors under a matrix action -- Branching out into Structural Identifiability Analysiswith Maple: Interactive Exploration of Uncontrolled Linear Time-Invariant Structures -- A Maple exploration of Problem 6 of the IMO 88 -- An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension -- "A Poly-algorithmic Quantifier Elimination Package in Maple" Erratum. 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 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2–6, 2020, Revised Selected Papers [documento electrónico] / Corless, Robert M., ; Gerhard, Jürgen, ; Kotsireas, Ilias S., . - 1 ed. . - [s.l.] : Springer, 2021 . - XV, 464 p. 191 ilustraciones, 138 ilustraciones en color.
ISBN : 978-3-030-81698-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Software de la aplicacion Informática Matemáticas Procesamiento de imágenes Visión por computador Inteligencia artificial Aplicaciones informáticas y de sistemas de información Aplicaciones matemáticas en informática Matemática Computacional y Análisis Numérico Imágenes por computadora visión reconocimiento de patrones y gráficos Índice Dewey: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro constituye las actas arbitradas de la 4ta Conferencia Maple, MC 2020, celebrada en Waterloo, Ontario, Canadá, en noviembre de 2020. Los 25 artículos completos revisados y 3 artículos breves fueron cuidadosamente revisados y seleccionados de 75 presentaciones, un artículo invitado también es presentado en el volumen. Los artículos incluidos en este libro cubren temas de educación, algoritmos y aplicaciones del software matemático Maple. . Nota de contenido: Bohemian Matrices: Past, Present and Future -- The TruncatedSeries Package for Solving Linear Ordinary Differential Equations Having Truncated Series Coefficients -- Computation of the Observed Spectral Sequence Spectrum for Nucleotide Sequence Alignments -- Multivariate Power Series in Maple -- Bernoulli's problem x^y=y^x and Maple -- Student satisfaction determinants in hybrid learning environments based on MAPLE -- Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs -- A MAPLE Package -- Algebraic Aspects of a Rank Factorization Problem Arising in Vibration Analysis -- Computation of the L∞-norm of finite-dimensional linear systems -- A Maple package to deal with the birationality of curves and surfaces parametrizations -- A Maple implementation of the finite element method for solving boundary-value problems for systems of second-order ordinary differential equations -- Blends in Maple -- Certified evaluations of Hölder continuous functions at roots of polynomials.-Maple for Distance Education in Secondary Schools during the Covid-19 Emergency -- Development of Problem Solving Skills with Maple in Higher Education -- Modelling and sensitivity analysis of nonlinear firefighting systems using Maple -- Merging Maple and GeoGebra Automated Reasoning Tools -- AGADE---A Maple Package for Computing Rational General Solutions of Parametrizable First-Order Algebraic ODEs -- Estimation of Travel Time for Additional Metrobus Route -- Understanding math concepts in music and vice-versa -- Numerical solution for radial distortion rectification in optical systems -- A simplified introduction to virus propagation using Maple's Turtle Graphics package suitable for children -- A Maple Toolchain for Rigid Body Dynamics of Serial, Hybrid and Parallel Robots -- Rational Trigonometry Using Maple -- Power Series Representations of Hypergeometric Type Functions -- Rational cone of norm-invariant vectors under a matrix action -- Branching out into Structural Identifiability Analysiswith Maple: Interactive Exploration of Uncontrolled Linear Time-Invariant Structures -- A Maple exploration of Problem 6 of the IMO 88 -- An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension -- "A Poly-algorithmic Quantifier Elimination Package in Maple" Erratum. 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
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
