Match tier
Likely match
Presence
Current · Arkansas
Last published
2026
Sources
OpenAlex · ORCID
Refreshed
2026-08-08
L
Luke Biddle
This is a likely match — the affiliation was inferred from OpenAlex, ORCID, and web sources but has not been fully confirmed. Treat with appropriate caution.
Researcher
Graduate Student Researcher
1 pubs
Research Areas
Biography and Research Information
OverviewAI-generated summary
Luke Biddle, a graduate student at the University of Arkansas, researches mathematical proofs. His recent work, published in 2026, focuses on primitive Pythagorean triples within the Lean formal verification system, specifically examining reduction modulo odd prime powers. This indicates an active engagement with formal methods and number theory.
Metrics
- Publications: 1
Selected Publications
-
Primitive Pythagorean Triples in Lean and Reduction Modulo Odd Prime Powers (2026)Journal of the Arkansas Academy of Science OpenAlex
Similar Researchers
Based on overlapping research topics