Releases: Julian-Kuelshammer/uniqueness_bocses_sage
Releases · Julian-Kuelshammer/uniqueness_bocses_sage
Uniqueness of exact Borel subalgebras and bocses - SageMath code
This repository provides a partial verification of certain computations in the paper "Uniqueness of exact Borel subalgebras and bocses" by Julian Külshammer and Vanessa Miemietz using SageMath.