Executable Multivariate Polynomials by Christian Sternagel ๐ง, Renรฉ Thiemann ๐, Alexander Maletzky ๐, Fabian Immler ๐, Florian Haftmann ๐, Andreas Lochbihler ๐ and Alexander Bentkamp ๐ง Aug 10