当前位置: X-MOL 学术arXiv.cs.SC › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
The Absent-Minded Passengers Problem: A Motivating Challenge Solved by Computer Algebra
arXiv - CS - Symbolic Computation Pub Date : 2020-03-04 , DOI: arxiv-2003.01921
Carsten Schneider

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.

中文翻译:

心不在焉的乘客问题:计算机代数解决的激励挑战

在(SB Ekhad 和 D. Zeilberger,2020 年)中,启动了一项激动人心的案例研究,其中利用实验数学和符号计算来发现与所谓的“心不在焉的乘客问题”相关的新属性。基于这些结果,Doron Zeilberger 提出了一些具有挑战性的任务,以获得进一步的概率洞察力。在本说明中,我们报告了这家企业。特别是,我们演示了如何使用 RISC 的计算机代数包来执行底层的繁重计算。
更新日期:2020-06-25
down
wechat
bug