Local minimal model (reviewed)

A local minimal model for an elliptic curve \(E\) defined over a number field \(K\) at a prime \(\mathfrak{p}\) of \(K\) is a Weierstrass equation for \(E\) all of whose coefficients are integral at \(\mathfrak{p}\), and whose discriminant has minimal valuation at \(\mathfrak{p}\) among all such equations.