Automated geometric reasoning: Dixon resultants, Gröbner bases, and characteristic sets
2016 ◽
Vol 10
(4)
◽
pp. 479-492
◽
2018 ◽
2010 ◽
Vol 153
(2)
◽
pp. 363-396
◽