Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Deciding consistency of systems of polynomials in exponent inequalities in subexponential time 