Alex J. Best
- Aristotle: IMO-level Automated Theorem Proving
2025/10/01 by Tudor Achim, Alex Best, Alex J. Best +46 · 3 voices · 6 citations
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation #cs.AI #cs.CL
- A user's guide to the local arithmetic of hyperelliptic curves
2022/05/05 by Alex J. Best, L. Alexander Betts, Matthew Bisatt +8 · 3 citations
Mathematics · Computer Science · #Algebraic Geometry and Number Theory #Coding theory and cryptography #Cryptography and Residue Arithmetic