Overview
- 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
Part of the book series: Texts & Monographs in Symbolic Computation (TEXTSMONOGR)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (11 chapters)
-
Background and Motivation
-
Smooth ACSV and Applications
-
Non-Smooth ACSV
Keywords
About this book
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.
Reviews
“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)
Authors and Affiliations
About the author
Bibliographic Information
Book Title: An Invitation to Analytic Combinatorics
Book Subtitle: From One to Several Variables
Authors: Stephen Melczer
Series Title: Texts & Monographs in Symbolic Computation
DOI: https://doi.org/10.1007/978-3-030-67080-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Hardcover ISBN: 978-3-030-67079-5Published: 23 December 2020
Softcover ISBN: 978-3-030-67082-5Published: 24 December 2021
eBook ISBN: 978-3-030-67080-1Published: 22 December 2020
Series ISSN: 0943-853X
Series E-ISSN: 2197-8409
Edition Number: 1
Number of Pages: XVIII, 418
Number of Illustrations: 9 b/w illustrations, 36 illustrations in colour
Topics: Discrete Mathematics, Symbolic and Algebraic Manipulation, Mathematical Methods in Physics, Algorithms