3 papers
math.RA2026
Polynomial interpolation of partial functions in finite algebras with a Mal'cev term
Erhard Aichinger, Mario Kapl, Bernardo Rossi
We provide polynomial completeness results for finite algebras in congruence permutable varieties. In 2001, Idziak and SÅomczy{Å}ska introduced the completeness concept of being…
math.CO2025
Structured and Punctured Nullstellensätze
Erhard Aichinger, John R. Schmitt, Henry Zhan
A Nullstellensatz is a theorem providing information on polynomials that vanish on a certain set: David Hilbert's Nullstellensatz (1893) is a cornerstone of algebraic geometry, and…
cs.CC2025
On the complexity of solving equations over the symmetric group
Erhard Aichinger, Simon Grünbacher
The complexity of solving equations over finite groups has been an active area of research over the last two decades, starting with Goldmann and Russell, \emph{The complexity of so…