Codimension-m Bifurcation Theorems Applicable to the Numerical Verification Methods. (27th June 2013)