论文标题
缺乏思想的乘客问题：计算机代数解决的激励挑战
The Absent-Minded Passengers Problem: A Motivating Challenge Solved by Computer Algebra
论文作者
论文摘要
在（S.B. Ekhad和D. Zeilberger，2020年）开始了一个令人兴奋的案例研究，其中利用了实验数学和符号计算来发现有关所谓缺席的乘客问题的新属性。基于这些结果，Doron Zeilberger提出了一些具有挑战性的任务，以获得进一步的概率见解。在本说明中，我们报告了此企业。特别是，我们演示了如何使用RISC的计算机代数套件来执行基本的重计计算。
In (S.B. Ekhad and D. 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.
