Cover Image

A SageMath Package for Analytic Combinatorics in Several Variables: Beyond the Smooth Case

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hackl, Benjamin, Luo, Andrew, Melczer, Stephen, Schost, Éric
Format:	Preprint
Published:	2025
Subjects:	Combinatorics Symbolic Computation Probability
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks
by: Aichmayr, Marcus S., et al.
Published: (2024)

Algebraic and Arithmetic Attributes of Hypergeometric Functions in SageMath
by: Caruso, Xavier, et al.
Published: (2026)

Tree-indexed sums of Catalan numbers
by: Bostan, Alin, et al.
Published: (2025)

On the scaling of random Tamari intervals and Schnyder woods of random triangulations (with an asymptotic D-finite trick)
by: Chapuy, Guillaume
Published: (2024)

Central Limit Theorems via Analytic Combinatorics in Several Variables
by: Melczer, Stephen, et al.
Published: (2022)

Hilbert's Nullstellensatz is in the Counting Hierarchy
by: Andrews, Robert, et al.
Published: (2026)

Faster modular composition using two relation matrices
by: Neiger, Vincent, et al.
Published: (2026)

Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity
by: Prébet, Rémi, et al.
Published: (2024)

Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
by: Elliott, Jesse, et al.
Published: (2025)

Explorations on the number of realizations of minimally rigid graphs
by: Grasegger, Georg
Published: (2025)

Statistical Analysis of Hairpins and BasePairs in RNA Secondary Structures
by: Bu, AJ, et al.
Published: (2026)

Parallel Summation in P-Recursive Extensions
by: Chen, Shaoshi, et al.
Published: (2024)

Efficient Algorithms for Maximal Matroid Degenerations and Irreducible Decompositions of Circuit Varieties
by: Liwski, Emiliano, et al.
Published: (2025)

Zeon and Idem-Clifford Formulations of Hypergraph Problems
by: Ewing, Samuel, et al.
Published: (2022)

Constructing Koszul filtrations: existence and non-existence for G-quadratic algebras
by: Berghofer, Emily, et al.
Published: (2026)

Asymptotic properties of random monomial ideals
by: Mohammadi, Fatemeh, et al.
Published: (2026)

Multivariate Analytic Combinatorics for Cost Constrained Channels
by: Lenz, Andreas, et al.
Published: (2021)

The KnotMosaics Package for SageMath
by: Deng, Mary Y., et al.
Published: (2026)

Effective Asymptotics of Combinatorial Systems
by: Pivoteau, Carine, et al.
Published: (2025)

Exact Matching in Matrix Multiplication Time
by: Sato, Ryotaro, et al.
Published: (2025)

PyRigi -- a general-purpose Python package for the rigidity and flexibility of bar-and-joint frameworks
by: Gallet, Matteo, et al.
Published: (2025)

FlagAlgebraToolbox: Flag Algebra Computations in SageMath
by: Bodnár, Levente
Published: (2026)

Nonlinear Propagation of Non-Gaussian Uncertainties
by: Acciarini, Giacomo, et al.
Published: (2024)

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
by: Li, Zhengyu, et al.
Published: (2025)

Symbolic Sets for Proving Bounds on Rado Numbers
by: Ahmed, Tanbir, et al.
Published: (2025)

A Generalization of Habicht's Theorem for Subresultants of Several Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2024)

Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues
by: Ibrahim, Alaa
Published: (2025)

On the Problem of Separating Variables in Multivariate Polynomial Ideals
by: Buchacher, Manfred, et al.
Published: (2024)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

LawMind: A Law-Driven Paradigm for Discovering Analytical Solutions to Partial Differential Equations
by: Zheng, Min-Yi, et al.
Published: (2026)

Case Frames and Case-Based Arguments in Statutory Interpretation
by: Araszkiewicz, Michal
Published: (2024)

Beyond Worst-Case Analysis for Symbolic Computation: Root Isolation Algorithms
by: Ergür, Alperen A., et al.
Published: (2025)

Algorithms for Recursive Block Matrices
by: Watt, Stephen M.
Published: (2024)

Positivity sets of hinge functions
by: Schicho, Josef, et al.
Published: (2025)

Differential equations satisfied by generating functions of 5-, 6-, and 7-regular labelled graphs: a reduction-based approach
by: Chyzak, Frédéric, et al.
Published: (2024)

Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition
by: Jing, Rui-Juan, et al.
Published: (2026)

Software Portability for Computer Algebra
by: Norman, Arthur C., et al.
Published: (2025)

An Abstraction-Preserving Block Matrix Implementation in Maple
by: Jeffrey, David J., et al.
Published: (2024)

On the Summability Problem of Multivariate Rational Functions in the Mixed Case
by: Chen, Shaoshi, et al.
Published: (2026)

Subresultants of Several Univariate Polynomials in Newton Basis
by: Wang, Weidong, et al.
Published: (2022)