Home | Members | Projects | Publications | SCIM | Theses topics |
Let I be an ideal generated by polynomials f_1,…,f_m such that f_i is in R[x_1,…,x_n] for all i=1,…,m. First we describe how to construct a Hermite matrix with respect to the ideal I and an auxiliary polynomial g in R[x_1,…,x_n].
Then, we will define the signature of Hermite matrices. For some choices of the auxiliary polynomial g, signatures can reveal some interesting properties of the given polynomial system. Some of them are related to real counting, real root isolation, and sum of squares.