4 citations · 12 across the 13 of their papers we have counts for
Showing math.ACShow all
2 papers · 1 filter
math.AC2017★ 4 cited
Linear systems over localizations of rings
Sebastian Posur
We describe a method for solving linear systems over the localization of a commutative ring at a multiplicatively closed subset that works under the following hypotheses: t…
math.AC2017★ 3 cited
Elimination via saturation
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,…