Mathlib

An elliptic curve over ℝ looks like one or two components of a cubic.