  We consider a mathematical model related to reconstruction of cardiac
electrical activity from ECG measurements on the body surface. An application
of recent developments in solving boundary value problems for elliptic and
parabolic equations in Sobolev type spaces allows us to obtain uniqueness
theorems for the model. The obtained results can be used as a sound basis for
creating numerical methods for non-invasive mapping of the heart.
