Computer-assisted proofs in geometry