A computer assisted approach to Hilbert's 16th problem