The program a_program_to_find_proofs_for_theo_combi.py was used to help to find the proof of Theorem 3

The program check_question32.py checks if Question 3.2 has an affirmative answer.

The program computation_matrix_typeD.py is a Sagemath program that compute the matrices M_i^+ in type D
