Products of $p$-adic logarithms of algebraic numbers that are not linear forms in logarithms, and a machine-checked $p$-adic linear-subgroup theorem

Contributed by Shawn Krisman

Source files

Download source .zip

Back to the main record