Overdetermined systems with constant coefficients Overdetermined systems mathematics