James Arthur
Mathematical Communicator
Mid Devon, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolJames Arthur is a mathematician and numerical analyst with seven years’ experience translating advanced geometric mechanics and fluid dynamics into engaging teaching, public talks, and software. Based in Mid Devon, he runs James Arthur Mathematics while tutoring and supporting research at the University of Exeter, blending PhD-level theory with practical computation. He contributes to open-source formal mathematics — adding functions and number-theory docstrings to Lean’s mathlib3 — and brings hands-on web development experience from building sites and managing WordPress projects. His work spans mathematical modelling, dynamical systems, and pedagogy, having taught logic and geometric mechanics to international cohorts at Oxford-linked programs. Comfortable moving between rigorous proofs, numerical code and web stacks, he helps make abstract mathematics accessible without sacrificing technical depth. An occasional radio contributor, he pairs public communication skills with formalist rigor to reach both academic and general audiences.
7 years of coding experience
4 years of employment as a software developer
MSc, Mathematical Modelling and Scientific Computing, MSc, Mathematical Modelling and Scientific Computing at University of OxfordDoctor of Philosophy - PhD, Mathematics, Doctor of Philosophy - PhD, Mathematics at University of Exeter
Latin, Chinese
Github Skills (10)
proofs10
theorem-proving10
proof10
leanback10
number-theory9
maths9
math9
mathematics9
formal-methods9
analyse8
Programming languages (5)
Github contributions (5)
leanprover-community/mathlib3
Aug 2020 - Sep 2021
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:10 reviews, 15 commits, 5 PRs in 1 year 1 month
Contributions summary:James contributed to the `mathlib3` repository by adding docstrings to existing code related to number theory, specifically Pythagorean triples. They implemented inverse hyperbolic sine functions, including definitions and lemmas for trigonometric functions and special functions. Furthermore, they added a new function to the code base.
maththeorem-provingcomponents-librarymathematicsjavascript
jamesa9283/ExeterMathsNotes
May 2021 - May 2022
Contributions:170 pushes, 3 branches, 8 comments in 1 year
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.