1 paper · 1 filter
Michael Mandlmayr, Ali Kemal Uncu
We present effective procedures to calculate regular normal cones and other related objects using quantifier elimination. This method of normal cone calculations is complementary t…