Bill Woods

collaborators

2 papers

math.CO2025

Capturing properties of planar diagrams in Lean proof assistant software

Alastair Litterick, Alexei Vernitski, Billy Woods

Automated proof assistants are a technology pre-empting mistakes in mathematics. In our practice we have seen that reasoning about planar diagrams is difficult to both humans and c…

math.RA2023

Monomial methods in iterated local skew power series rings

Billy Woods

Let $A = F_{p}$ or $Z_{p}$ , and let $R = A [[x_{1}]] [[x_{2}; σ_{2}, δ_{2}]] \dots [[x_{n}; σ_{n}, δ_{n}]]$ , an iterated local skew power series ring over $A$ . Under mild conditions, we…