For an affine variety, I know how to compute the set of singular points by simply looking at the points where the Jacobian matrix for the set of defining equations has too small a rank.
But what is the corresponding method for a variety that is a projective variety,and also a variety is a subset of a product of some projective space and affine space? The way I can think of is covering it by sets that are affine, and doing it for each affine set in this open cover - but that seems tedious for practical purposes (but fine for theoretical definitions & theoretical properties).
Also for resolution of singularities, what is a simple method that is guaranteed to work? The way suggested in the definitions in Hartshorne and other books, is to blow up along the singular locus, then look at the singular locus of the blow-up, and blow up again, and so on - is that guaranteed to terminate? What are some more efficient methods? I have looked at the reference "Resolution of Singularities", a book by someone - that's what he also seems to suggest (though his proof is very general, and I didn't read all of it).