An Invitation to Analytic Combinatorics: From One to Several Variables: Texts & Monographs in Symbolic Computation
Autor Stephen Melczeren Limba Engleză Paperback – 24 dec 2021
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.
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.
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (1) | 878.66 lei 43-57 zile | |
| Springer Nature Switzerland – 24 dec 2021 | 878.66 lei 43-57 zile | |
| Hardback (1) | 884.70 lei 43-57 zile | |
| Springer Nature Switzerland – 23 dec 2020 | 884.70 lei 43-57 zile |
Din seria Texts & Monographs in Symbolic Computation
-
Preț: 385.61 lei - 20%
Preț: 629.34 lei - 15%
Preț: 627.75 lei - 20%
Preț: 328.45 lei - 20%
Preț: 631.45 lei - 15%
Preț: 627.11 lei - 20%
Preț: 910.91 lei - 15%
Preț: 630.33 lei - 15%
Preț: 460.08 lei - 20%
Preț: 591.17 lei - 15%
Preț: 639.94 lei - 20%
Preț: 341.88 lei - 20%
Preț: 336.54 lei - 20%
Preț: 334.43 lei - 20%
Preț: 1137.34 lei - 15%
Preț: 688.02 lei - 20%
Preț: 1430.40 lei - 20%
Preț: 638.88 lei - 18%
Preț: 990.95 lei - 15%
Preț: 479.47 lei - 20%
Preț: 1135.27 lei - 20%
Preț: 498.66 lei
Preț: 878.66 lei
Preț vechi: 1071.54 lei
-18% Nou
Puncte Express: 1318
Preț estimativ în valută:
168.16€ • 174.67$ • 139.68£
168.16€ • 174.67$ • 139.68£
Carte tipărită la comandă
Livrare economică 03-17 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783030670825
ISBN-10: 3030670821
Ilustrații: XVIII, 418 p. 45 illus., 36 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.61 kg
Ediția:1st ed. 2021
Editura: Springer Nature Switzerland
Colecția Springer
Seria Texts & Monographs in Symbolic Computation
Locul publicării:Cham, Switzerland
ISBN-10: 3030670821
Ilustrații: XVIII, 418 p. 45 illus., 36 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.61 kg
Ediția:1st ed. 2021
Editura: Springer Nature Switzerland
Colecția Springer
Seria Texts & Monographs in Symbolic Computation
Locul publicării:Cham, Switzerland
Cuprins
Introduction.- Background and Motivation.- Smooth ACSV and Applications.- Non-Smooth ACSV.
Recenzii
“Melczer has done a good job of mathematically encompassing the issues related to computation and complexity in this domain, adopting an algorithmic approach to explain the underlying computer algebra and its associated software. … I found the theory and applications to be quite lucidly explained … . The target readership includes graduate and advanced undergraduate students of mathematics and computer science, as well as researchers of these and allied areas.” (Soubhik Chakraborty, Computing Reviews, August 17, 2022)
“This book is grounded in computation, which is useful for the comprehension of the subject to the reader. This book provides an accessible introduction to the subject for researchers in combinatorics and broader areas.” (Andrés R. Vindas Meléndez, zbMATH 1468.05002, 2021)
Notă biografică
Stephen Melczer is an Assistant Professor in the Department of Combinatorics and Optimization at the University of Waterloo. Prior to joining Waterloo, he was a CRM-ISM postdoctoral fellow at the Université du Québec à Montréal, a postdoctoral fellow at the University of Pennsylvania, and a visiting scholar at the University of Illinois Urbana-Champaign. His research adapts methods from algebraic and differential geometry, analysis, and topology to create effective tools for combinatorics, mathematics, and computer science. He received doctorates from the École normale supérieure de Lyon and the University of Waterloo in 2017, and is a recipient of a Governor General Silver Academic Medal.
Textul de pe ultima copertă
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.
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.
Caracteristici
Interactive computer algebra worksheets allow deeper understanding of the material Many fully worked detailed examples help to illustrate advanced theoretical methods Unique blend of theory, computation, and applications Appeals to students and researchers in multiple areas of mathematics, computer science, and physics