The absent-minded passengers problem: a motivating challenge solved by computer algebra

DOI10.1007/s11786-020-00494-wOpenAlexW3048141987MaRDI QIDQ2071521

Yanyan Li

Publication date: 28 January 2022

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2003.01921

zbMATH Keywords

combinatoricsasymptotic expansionprobabilitygenerating function approachsymbolic summation

Mathematics Subject Classification ID

Combinatorial probability (60C05) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items (1)

Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation

Uses Software

• SIGMA
• CLT
• EvaluateMultiSums
• BiVariateMoms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Calculating three loop ladder and \(V\)-topologies for massive operator matrix elements by computer algebra
• A difference ring theory for symbolic summation
• Unfair permutations
• Parameterized telescoping proves algebraic independence of sums
• The method of creative telescoping
• Algebraic independence of sequences generated by (cyclotomic) harmonic sums
• Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
• Symbolic summation assists combinatorics
• Harmonic sums and polylogarithms generated by cyclotomic polynomials
• The Automatic Central Limit Theorems Generator (and Much More!)
• Summation in Finite Terms
• Absent-Minded Passengers
• Simplifying Multiple Sums in Difference Fields
• Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms

This page was built for publication: The absent-minded passengers problem: a motivating challenge solved by computer algebra