|
11-XX - Number theory [MSC 2020] |
11D25 - Cubic and quartic Diophantine equations [MSC 2020] |
11J86 - Linear forms in logarithms; Baker's method [MSC 2020] |
11G05 - Elliptic curves over global fields [MSC 2020] |
14G05 - Rational points [MSC 2020] |
11D57 - Multiplicative and norm form equations [MSC 2020] |
11Y50 - Computer solution of Diophantine equations [MSC 2020] |
11G30 - Curves of arbitrary genus or genus $\ne 1$ over global fields [MSC 2020] |