  We provide a technique to obtain explicit bounds for problems that can be
reduced to linear forms in three complex logarithms of algebraic numbers. This
technique can produce bounds significantly better than general results on lower
bounds for linear forms in logarithms. We give worked examples to demonstrate
both the use of our technique and the improvements it provides. Publicly shared
code is also available.
