This page is for people (especially journal referees) reading my papers to check my claims regarding computer-assisted proofs.
Mathematics research codes referenced in my papers as a part of computer-assisted proof:
-Forbidden configurations and definite fillings of lens spaces, with JungHwan Park: Here's the GAP code for defining the function AllConfig. The rest of the code is written in the paper. Here's the equivalent python code using the gappy module. To use gappy, you need to install gappy-system (not gappy), which probably cannot be done on windows, and you may need to use an older version of python (python 3.8.19 on linux works for me). When copy and pasting code from the paper, remove the final ";" and capitalize the word "false" if you're using the python code instead of the GAP code.
-Integer surgeries rational homology cobordant to lens spaces: The snippet of python code generating the numbers referenced right before Lemma 6.7.