21 citations · 24 across the 13 of their papers we have counts for
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…