TY - RPRT TI - The Absent-Minded Passengers Problem: A Motivating Challenge Solved by Computer Algebra AU - Carsten Schneider PY - 2020 UR - https://arxiv.org/abs/2003.01921 ID - 2003.01921 ER -