Symbolic computation for inverse boundary-value problems and its application to impedance tomography reconstruction | IEEE Journals & Magazine | IEEE Xplore