22 citations · 139 across the 37 of their papers we have counts for
1 paper · 1 filter
Mohamed Barakat, Markus Lange-Hegermann, Sebastian Posur
This short paper presents saturation-based algorithms for homogenization and elimination. This algorithm can compute elimination ideals by using syzygies and ideal membership test,…