Posted on September 27, 2020 by akhmeteliTowards differential elimination of spinor field from spinor electrodynamics arXiv:1803.08800