Elliptic curves over totally real quartic fields not containing $\sqrt{5}$ are modular

Abstract

We prove that every elliptic curve defined over a totally real number field of degree 4 not containing $\sqrt{5}$ is modular. To this end, we study the quartic points on four modular curves.

See https://github.com/joshabox/quarticpoints/ for the Magma code used