About
Independent mathematical research
John Fairfax-Ball is an independent researcher working on small, concrete problems in discrete mathematics, computational mathematics and formal verification.
The programme emphasises reproducible work: mathematical arguments are paired with code, finite certificates or Lean formalisation where those tools materially strengthen the result. Completed formal work may also be submitted for independent verification.
A fuller biography and additional scholarly profiles will be added when there is appropriate source material to publish.