Fingerprint
Dive into the research topics where Joseph Smith is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature
Tooby-Smith, J., Mar 2026, arXiv.Research output: Working paper / Preprint › Preprint
-
A Perspective on Interactive Theorem Provers in Physics
Tooby-Smith, J., 22 Oct 2025, In: Advanced Science. e17294.Research output: Contribution to journal › Article › peer-review
Open Access