6 citations · 14 across the 17 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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.NT2025
Divisibility rules for integers presented as permutations
Thomas Oliver, Alexei Vernitski
In this note, we represent integers in a type of factoradic notation. Rather than use the corresponding Lehmer code, we will view integers as permutations. Given a pair of integers…