Alex J. Best | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Anne Baanen
4 publications
Sander R. Dahmen
3 publications
Christopher Birkbeck
1 publication
Riccardo Brasca
1 publication
Eric Rodriguez Boidi
1 publication
Nirvana Coppola
1 publication

research

∙ 05/15/2023

Fermat's Last Theorem for regular primes

We formalise the proof of the first case of Fermat's Last Theorem for re...

0 Alex J. Best, et al. ∙

research

∙ 09/30/2022

Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves

Diophantine equations are a popular and active area of research in numbe...

0 Anne Baanen, et al. ∙