On Baker type lower bounds for linear forms

A criterion is given for studying (explicit) Baker type lower bounds of linear forms in numbers 1,Θ1, ...,Θm ∈ C∗ over the ring ZI of an imaginary quadratic field I. This work deals with the simultaneous auxiliary functions case.