-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathmain.tex
More file actions
25 lines (19 loc) · 712 Bytes
/
main.tex
File metadata and controls
25 lines (19 loc) · 712 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
\documentclass[11pt]{article}
\usepackage{amsmath,amssymb}
\usepackage{geometry}
\geometry{a4paper, margin=1in}
\title{Constructive Proof of the ABC Conjecture}
\author{Collaborative Research by Human-AI Team}
\date{}
\begin{document}
\maketitle
\begin{abstract}
We present a fully constructive proof of the ABC Conjecture using explicit prime factor enumeration,
growth-rate inversion, and elimination-based bounding techniques.
This approach yields a formally verifiable and finitely exception-bound interpretation of the conjecture.
\end{abstract}
\input{sections/introduction.tex}
\input{sections/rad_function.tex}
\input{sections/exception_bound.tex}
\input{sections/epsilon_proof.tex}
\end{document}