@misc{indiciaeb8a45225be59, title = {Symbolic Computation for All the Fun}, author = {Chad E. Brown and Mikoláš Janota and Mirek Olšák}, year = {2024}, url = {https://arxiv.org/abs/2404.12048}, note = {Source identifier: 2404.12048} }