Cubic differential systems with invariant straight lines of total multiplicity eight and four distinct infinite singularities

In this article we prove a classification theorem (Main Theorem) of real planar cubic vector fields which possess four distinct infinite singularities and eight invariant straight lines, including the line at infinity and including their multiplicities. This classification, which is taken modulo the action of the group of real affine transformations and time rescaling, is given in terms of invariant polynomials. The algebraic invariants and comitants allow one to verify for any given real cubic system with four infinite distinct singularities whether or not it has invariant lines of total multiplicity eight, and to specify its configuration of lines endowed with their corresponding real singularities of this system. The calculations can be implemented on computer.