Contradicting Source Quantities and Boundary Conditions Formalized for Quasi-Statics

We propose a formalization of contradicting source quantities and boundary values in quasi-static electromagnetic boundary value problems. The problem is recast in terms of homology, and a procedure for systematic detection is proposed