Abstract
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
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have