Abstract

In Ekhad and Zeilberger (Personal J Shalosh B Ekhad and Doron Zeilberger, 2020) an exciting case study has been initiated in which experimental mathematics and symbolic computation are utilized to discover new properties concerning the so-called Absent-Minded Passengers Problem. Based on these results, Doron Zeilberger raised some challenging tasks to gain further probabilistic insight. In this note we report on this enterprise. In particular, we demonstrate how the computer algebra packages of RISC can be used to carry out the underlying heavy calculations.

Highlights

  • A Challenging EmailOn January 22, 2020 I received the following email by Doron Zeilberger: Dear Carsten,

  • Can you extend theorem 5 of that paper to the general case with k absent-minded passengers?

  • Summarizing, the above email provoked various heavy calculations by means of computer algebra that will be described in the following

Read more

Summary

A Challenging Email

On January 22, 2020 I received the following email by Doron Zeilberger: Dear Carsten,. I (and Shalosh) just posted a paper https://arxiv.org/abs/2001.06839 with a challenge to you (see the middle of page 4). Can you (and Sigma) extend theorem 5 of that paper to the general case with k absent-minded passengers?. Supported by the Austrian Science Fund (FWF) grant SFB F50 (F5009-N15)

Schneider
The Underlying Problem and Symbolic Summation
The Generating Function Approach for Large Moments
Asymptotic Expansions
A Motivating Challenge Solved by Computer Algebra
Conclusion
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.