Grosz, Alexander; Kietreiber, Tobias; Pfannerer, Stephan; Rubey, Martin
Nicht-TUM Koautoren:
ja
Kooperation:
international
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.