Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Numerical verification of the Birch and Swinnerton-Dyer conjecture for hyperelliptic curves of higher genus over \(\mathbb{Q}\) up to squares 