Martin Kreuzer

activity

19972026

most citedSAT Solving Using XOR-OR-AND Normal Forms

4 citations · 10 across the 14 of their papers we have counts for

collaborators

Showing 2026Show all

2 papers · 1 filter

math.AG2026

On the De Rham Cohomology of Zero-Dimensional Schemes

Martin Kreuzer, Le Ngoc Long

The (naive) de Rham cohomology of a zero-dimensional scheme is the homology of the Kähler differential algebra of its coordinate ring, viewed as a complex. Since it is well-known t…

math.AC2026

Graded Algebras over Polynomial Rings

Martin Kreuzer, Lorenzo Robbiano

Given a trivially graded polynomial ring $P_{0} = K [a_{1}, \dots, a_{m}]$ over a field $K$ and a positively graded polynomial ring $P = P_{0} [x_{1}, \dots, x_{s}]$ , we study graded rings $R = P / I$ , wher…