Rational points and generalized trace forms on a finite algebra over a real closed field

Dilip P. Patil, Jugal Verma

The main goal of this article is to provide a proof of the Pederson-Roy-Szpirglas theorem about counting common real zeros of real polynomial equations by using basic results from…