fiomfd / Julia.abc-theorem

We find some examples of c >= rad(abc)^k for the abc theorem using Julia Programming Language.

In 20012 Shinichi Mochizuki proved that the abc conjecture holds in the following historical paper:

Shinichi Mochizuki, Inter-universal Teichmüller Theory, Publications of the Research Institute for Mathematical Sciences, Volume 57, Number 1/2, (2021) Special Issue, https://ems.press/journals/prims/issues/1507.

We find some examples of triples of positive integers $(a,b,c)$ satisfying $a{<}b$, $a+b=c$, $\operatorname{gcd}(a,b)=1$, $\operatorname{gcd}(b,c)=1$, $\operatorname{gcd}(c,a)=1$, and $c\geqq\operatorname{rad}(abc)^\kappa$ with some $\kappa>1$ using Julia Programming Language.