Density of rational points on elliptic K3 surfaces | Synapse