On the cardinality of a semi-algebraic set

G. Khimshiashvili
1994 Georgian Mathematical Journal  
It is shown that the cardinality of a finite semi-algebraic subset over a real closed field can be computed in terms of signatures of effectively constructed quadratic forms.
doi:10.1007/bf02254676 fatcat:c4uhs4fdqfdi7a6l2pclbcfkai