Formalization of Contradicting Source Quantities and Boundary Conditions in Quasi-Statics

In this paper, we propose a formalization of contradicting source quantities and boundary values in quasi-static electromagnetic boundary value problems (BVPs). The question is recast in terms of relative homology, and a procedure for systematic contradiction detection is proposed