Executable Multivariate Polynomials by Christian Sternagel π§, RenΓ© Thiemann π, Alexander Maletzky π, Fabian Immler π, Florian Haftmann π, Andreas Lochbihler π and Alexander Bentkamp π§ Aug 10