Overdetermined systems of PDEs with variable coefficients Overdetermined systems mathematics