Séminaire Lotharingien de Combinatoire, 89B.91 (2023), 9 pp.
Alexander Grosz, Tobias Kietreiber, Stephan Pfannerer
and Martin Rubey
A Bijectionist's Toolkit
Abstract.
We present a tool, integrated into SageMath 10.0, which
supports the combinatorialist in the discovery of an explicit
bijection between two finite sets given various constraints, or by
demonstrating that no such bijection can exist. As an application
we present a conjecture which may have been hard to discover otherwise.
Received: November 15, 2022.
Accepted: February 20, 2023.
Final version: April 1, 2023.
The following versions are available: