Seminar in the History of the Exact Sciences: ‘Forms of proofs for algebraic equations in medieval China’