Autor Seiler, Werner M.
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings / Gerdt, Vladimir P. ; Koepf, Wolfram ; Seiler, Werner M. ; Vorozhtsov, Evgenii V.
Título : 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings Tipo de documento: documento electrónico Autores: Gerdt, Vladimir P., ; Koepf, Wolfram, ; Seiler, Werner M., ; Vorozhtsov, Evgenii V., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIII, 379 p. 54 ilustraciones ISBN/ISSN/DL: 978-3-319-99639-4 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: Algoritmos Informática Computadoras Propósitos especiales Sistemas informáticos diseño lógico Ciencias de la Computación Matemáticas de la Computación Sistemas de propósito especial y basados en aplicaciones Implementación de sistema informático Lógica informática y fundamentos de la programación Índice Dewey: 518.1 Resumen: El capítulo "Soluciones positivas de sistemas de desigualdades polinomiales paramétricas con signo" está disponible en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com. Nota de contenido: Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk) -- On Unimodular Matrices of Difference Operators -- Sparse Polynomial Arithmetic with the BPAS Library -- Computation of Pommaret Bases Using Syzygies -- A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations -- Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling -- A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities -- From Exponential Analysis to Padé Approximation and Tensor Decomposition, in One and More Dimensions -- Symbolic Algorithm for Generating the Orthonormal Bargmann-Moshinsky Basis for SU(3) Group -- About Some Drinfel'd Associators -- On a Polytime Factorization Algorithm for Multilinear Polynomials over F2 -- Tropical Newton-Puiseux Polynomials -- Orthogonal Tropical Linear Prevarieties -- Symbolic-Numerical Algorithms for Solving Elliptic Boundary-Value Problems Using Multivariate Simplex Lagrange Elements -- Symbolic-Numeric Simulation of Satellite Dynamics with Aerodynamic Attitude Control System -- Finding Multiple Solutions in Nonlinear Integer Programming with Algebraic Test-Sets -- Positive Solutions of Systems of Signed Parametric Polynomial Inequalities -- Qualitative Analysis of a Dynamical System with Irrational First Integrals -- Effective Localization Using Double Ideal Quotient and Its Implementation -- A Purely Functional Computer Algebra System Embedded in Haskell -- Splitting Permutation Representations of Finite Groups by Polynomial Algebra Methods -- Factoring Multivariate Polynomials with Many Factors and Huge Coefficients -- Beyond the First Class of Analytic Complexity -- A Theory and an Algorithm for Computing Sparse Multivariate Polynomial Remainder Sequence -- A Blackbox Polynomial System Solver on Parallel Shared Memory Computers. 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 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings [documento electrónico] / Gerdt, Vladimir P., ; Koepf, Wolfram, ; Seiler, Werner M., ; Vorozhtsov, Evgenii V., . - 1 ed. . - [s.l.] : Springer, 2018 . - XIII, 379 p. 54 ilustraciones.
ISBN : 978-3-319-99639-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Algoritmos Informática Computadoras Propósitos especiales Sistemas informáticos diseño lógico Ciencias de la Computación Matemáticas de la Computación Sistemas de propósito especial y basados en aplicaciones Implementación de sistema informático Lógica informática y fundamentos de la programación Índice Dewey: 518.1 Resumen: El capítulo "Soluciones positivas de sistemas de desigualdades polinomiales paramétricas con signo" está disponible en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com. Nota de contenido: Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk) -- On Unimodular Matrices of Difference Operators -- Sparse Polynomial Arithmetic with the BPAS Library -- Computation of Pommaret Bases Using Syzygies -- A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations -- Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling -- A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities -- From Exponential Analysis to Padé Approximation and Tensor Decomposition, in One and More Dimensions -- Symbolic Algorithm for Generating the Orthonormal Bargmann-Moshinsky Basis for SU(3) Group -- About Some Drinfel'd Associators -- On a Polytime Factorization Algorithm for Multilinear Polynomials over F2 -- Tropical Newton-Puiseux Polynomials -- Orthogonal Tropical Linear Prevarieties -- Symbolic-Numerical Algorithms for Solving Elliptic Boundary-Value Problems Using Multivariate Simplex Lagrange Elements -- Symbolic-Numeric Simulation of Satellite Dynamics with Aerodynamic Attitude Control System -- Finding Multiple Solutions in Nonlinear Integer Programming with Algebraic Test-Sets -- Positive Solutions of Systems of Signed Parametric Polynomial Inequalities -- Qualitative Analysis of a Dynamical System with Irrational First Integrals -- Effective Localization Using Double Ideal Quotient and Its Implementation -- A Purely Functional Computer Algebra System Embedded in Haskell -- Splitting Permutation Representations of Finite Groups by Polynomial Algebra Methods -- Factoring Multivariate Polynomials with Many Factors and Huge Coefficients -- Beyond the First Class of Analytic Complexity -- A Theory and an Algorithm for Computing Sparse Multivariate Polynomial Remainder Sequence -- A Blackbox Polynomial System Solver on Parallel Shared Memory Computers. 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 : 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings Tipo de documento: documento electrónico Autores: England, Matthew, ; Koepf, Wolfram, ; Sadykov, Timur M., ; Seiler, Werner M., ; Vorozhtsov, Evgenii V., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIII, 479 p. 718 ilustraciones, 21 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-26831-2 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: Informática Algoritmos Ingeniería de software Computadoras Propósitos especiales Matemáticas de la Computación Sistemas de propósito especial y basados en aplicaciones Operaciones de TI Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas del 21.º Taller Internacional sobre Álgebra Informática en Computación Científica, CASC 2019, celebrado en Moscú, Rusia, en agosto de 2019. Los 28 artículos completos presentados junto con 2 charlas invitadas fueron cuidadosamente revisados y seleccionados entre 44 presentaciones. Se ocupan de investigaciones de vanguardia en todas las disciplinas principales del álgebra informática. Los artículos cubren temas como álgebra polinomial, cálculo simbólico y simbólico-numérico, aplicaciones del cálculo simbólico para investigar y resolver ecuaciones diferenciales ordinarias, aplicaciones de CAS en la investigación y solución de problemas de mecánica celeste y en mecánica, física y robótica. 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 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings [documento electrónico] / England, Matthew, ; Koepf, Wolfram, ; Sadykov, Timur M., ; Seiler, Werner M., ; Vorozhtsov, Evgenii V., . - 1 ed. . - [s.l.] : Springer, 2019 . - XIII, 479 p. 718 ilustraciones, 21 ilustraciones en color.
ISBN : 978-3-030-26831-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Informática Algoritmos Ingeniería de software Computadoras Propósitos especiales Matemáticas de la Computación Sistemas de propósito especial y basados en aplicaciones Operaciones de TI Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas del 21.º Taller Internacional sobre Álgebra Informática en Computación Científica, CASC 2019, celebrado en Moscú, Rusia, en agosto de 2019. Los 28 artículos completos presentados junto con 2 charlas invitadas fueron cuidadosamente revisados y seleccionados entre 44 presentaciones. Se ocupan de investigaciones de vanguardia en todas las disciplinas principales del álgebra informática. Los artículos cubren temas como álgebra polinomial, cálculo simbólico y simbólico-numérico, aplicaciones del cálculo simbólico para investigar y resolver ecuaciones diferenciales ordinarias, aplicaciones de CAS en la investigación y solución de problemas de mecánica celeste y en mecánica, física y robótica. 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 : Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings Tipo de documento: documento electrónico Autores: Gerdt, Vladimir P., ; Koepf, Wolfram, ; Seiler, Werner M., ; Vorozhtsov, Evgenii V., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIII, 407 p. 75 ilustraciones ISBN/ISSN/DL: 978-3-319-66320-3 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: Algoritmos Informática Computadoras Propósitos especiales Ingeniería de software Ciencias de la Computación Matemáticas de la Computación Sistemas de propósito especial y basados en aplicaciones Operaciones de TI Lógica informática y fundamentos de la programación Índice Dewey: 518.1 Resumen: Este libro constituye las actas del XIX Taller Internacional sobre Álgebra Informática en Computación Científica, CASC 2017, celebrado en Beijing, China, en septiembre de 2017. Los 28 artículos completos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 33 presentaciones. Se ocupan de investigaciones de vanguardia en todas las disciplinas principales del álgebra informática. 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 Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings [documento electrónico] / Gerdt, Vladimir P., ; Koepf, Wolfram, ; Seiler, Werner M., ; Vorozhtsov, Evgenii V., . - 1 ed. . - [s.l.] : Springer, 2017 . - XIII, 407 p. 75 ilustraciones.
ISBN : 978-3-319-66320-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Algoritmos Informática Computadoras Propósitos especiales Ingeniería de software Ciencias de la Computación Matemáticas de la Computación Sistemas de propósito especial y basados en aplicaciones Operaciones de TI Lógica informática y fundamentos de la programación Índice Dewey: 518.1 Resumen: Este libro constituye las actas del XIX Taller Internacional sobre Álgebra Informática en Computación Científica, CASC 2017, celebrado en Beijing, China, en septiembre de 2017. Los 28 artículos completos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 33 presentaciones. Se ocupan de investigaciones de vanguardia en todas las disciplinas principales del álgebra informática. 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
