22 citations · 139 across the 37 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
math.AC2010★ 9 cited
Thomas Decomposition of Algebraic and Differential Systems
Thomas Bächler, Vladimir Gerdt, Markus Lange-Hegermann +1
In this paper we consider disjoint decomposition of algebraic and non-linear partial differential systems of equations and inequations into so-called simple subsystems. We exploit…
math.AC2010★ 19 cited
An Axiomatic Setup for Algorithmic Homological Algebra and an Alternative Approach to Localization
Mohamed Barakat, Markus Lange-Hegermann
In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definitio…