Strong Gr\"obner bases and linear algebra in multivariate polynomial rings over Euclidean domains | Synapse