dx.doi.org/doi:10.3888/tmj.20-2 We propose and implement an algorithm for solving an overdetermined system of partial differential equations in one unknown. Our approach relies on the Bour–Mayer method to determine compatibility conditions via Jacobi–Mayer brackets. We solve compatible systems recursively by imitating what one would do with pen and paper: Solve one equation, substitute its solution into … Continue reading Symbolic Solutions of Simultaneous First-Order PDEs in One Unknown