The main goals of this project are to use motivic homotopy theory to develop methods suitable for the
construction of a theory of enumerative geometry with values in quadratic forms, to apply these methods
to key problems in enumerative geometry, and to use the resulting quadratic invariants to give a deeper
understanding of the enumerative geometry of real varieties as well as the arithmetic aspects of
enumerative problems over an arbitrary field.