An Invitation to Analytic Combinatorics / Melczer, Stephen  

Público ISBD Ningún comentario para este título. Título : An Invitation to Analytic Combinatorics : From One to Several Variables Tipo de documento: documento electrónico Autores: Melczer, Stephen, Mención de edición: 1 ed. Editorial: [s.l.] [Suiza] : Springer Fecha de publicación: 2021 Número de páginas: XVIII, 418 p. 45 ilustraciones, 36 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-67080-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Matemáticas discretas  Informática  Física matemática  Algoritmos  Manipulación simbólica y algebraica  Métodos matemáticos en física Clasificación: 511.1 Resumen: Este libro utiliza nuevas herramientas matemáticas para examinar cuestiones amplias de computabilidad y complejidad en combinatoria enumerativa, con aplicaciones a otras áreas de las matemáticas, la informática teórica y la física. Un enfoque en algoritmos efectivos conduce al desarrollo de software de álgebra informática útil para los investigadores en estos dominios. Después de un repaso de los resultados actuales y de los problemas abiertos sobre decidibilidad en combinatoria enumerativa, el texto muestra cómo la vanguardia de esta investigación es el nuevo dominio de la Combinatoria Analítica en Varias Variables (ACSV). Los capítulos restantes del texto alternan entre un desarrollo pedagógico de la teoría, aplicaciones (incluida la resolución por parte de este autor de conjeturas en la enumeración de caminos reticulares que resistieron varios otros enfoques) y el desarrollo de algoritmos. Los últimos capítulos del texto muestran, a través de ejemplos y teoría general, cómo los resultados de la teoría Morse estratificada pueden ayudar a refinar algunas de estas cuestiones de computabilidad. Complementando la presentación escrita hay más de 50 hojas de trabajo para los sistemas de álgebra informática SageMath y Maple que trabajan con ejemplos en el texto. Nota de contenido: Introduction -- Background and Motivation -- Smooth ACSV and Applications -- Non-Smooth ACSV. Tipo de medio : Computadora Summary : This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics, with applications to other areas of mathematics, theoretical computer science, and physics. A focus on effective algorithms leads to the development of computer algebra software of use to researchers in these domains. After a survey of current results and open problems on decidability in enumerative combinatorics, the text shows how the cutting edge of this research is the new domain of Analytic Combinatorics in Several Variables (ACSV). The remaining chapters of the text alternate between a pedagogical development of the theory, applications (including the resolution by this author of conjectures in lattice path enumeration which resisted several other approaches), and the development of algorithms. The final chapters in the text show, through examples and general theory, how results from stratified Morse theorycan help refine some of these computability questions. Complementing the written presentation are over 50 worksheets for the SageMath and Maple computer algebra systems working through examples in the text. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] An Invitation to Analytic Combinatorics : From One to Several Variables [documento electrónico] / Melczer, Stephen,  . -  1 ed.  . - [s.l.] [Suiza] : Springer, 2021 . - XVIII, 418 p. 45 ilustraciones, 36 ilustraciones en color. ISBN : 978-3-030-67080-1 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Matemáticas discretas  Informática  Física matemática  Algoritmos  Manipulación simbólica y algebraica  Métodos matemáticos en física Clasificación: 511.1 Resumen: Este libro utiliza nuevas herramientas matemáticas para examinar cuestiones amplias de computabilidad y complejidad en combinatoria enumerativa, con aplicaciones a otras áreas de las matemáticas, la informática teórica y la física. Un enfoque en algoritmos efectivos conduce al desarrollo de software de álgebra informática útil para los investigadores en estos dominios. Después de un repaso de los resultados actuales y de los problemas abiertos sobre decidibilidad en combinatoria enumerativa, el texto muestra cómo la vanguardia de esta investigación es el nuevo dominio de la Combinatoria Analítica en Varias Variables (ACSV). Los capítulos restantes del texto alternan entre un desarrollo pedagógico de la teoría, aplicaciones (incluida la resolución por parte de este autor de conjeturas en la enumeración de caminos reticulares que resistieron varios otros enfoques) y el desarrollo de algoritmos. Los últimos capítulos del texto muestran, a través de ejemplos y teoría general, cómo los resultados de la teoría Morse estratificada pueden ayudar a refinar algunas de estas cuestiones de computabilidad. Complementando la presentación escrita hay más de 50 hojas de trabajo para los sistemas de álgebra informática SageMath y Maple que trabajan con ejemplos en el texto. Nota de contenido: Introduction -- Background and Motivation -- Smooth ACSV and Applications -- Non-Smooth ACSV. Tipo de medio : Computadora Summary : This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics, with applications to other areas of mathematics, theoretical computer science, and physics. A focus on effective algorithms leads to the development of computer algebra software of use to researchers in these domains. After a survey of current results and open problems on decidability in enumerative combinatorics, the text shows how the cutting edge of this research is the new domain of Analytic Combinatorics in Several Variables (ACSV). The remaining chapters of the text alternate between a pedagogical development of the theory, applications (including the resolution by this author of conjectures in lattice path enumeration which resisted several other approaches), and the development of algorithms. The final chapters in the text show, through examples and general theory, how results from stratified Morse theorycan help refine some of these computability questions. Complementing the written presentation are over 50 worksheets for the SageMath and Maple computer algebra systems working through examples in the text. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200