Alexander Maletzky https://isa-afp.org/authors/maletzky/ AFP entries of Alexander Maletzky Hilbert's Nullstellensatz https://isa-afp.org/entries/Nullstellensatz.html Sun, 16 Jun 2019 00:00:00 +0000 Hilbert's Nullstellensatz in the AFP Mathematics/Algebra Mathematics/Geometry Gröbner Bases, Macaulay Matrices and Dubé's Degree Bounds https://isa-afp.org/entries/Groebner_Macaulay.html Sat, 15 Jun 2019 00:00:00 +0000 Gröbner Bases, Macaulay Matrices and Dubé's Degree Bounds in the AFP Mathematics/Algebra Signature-Based Gröbner Basis Algorithms https://isa-afp.org/entries/Signature_Groebner.html Thu, 20 Sep 2018 00:00:00 +0000 Signature-Based Gröbner Basis Algorithms in the AFP Mathematics/Algebra Computer science/Algorithms/Mathematical Gröbner Bases Theory https://isa-afp.org/entries/Groebner_Bases.html Mon, 02 May 2016 00:00:00 +0000 Gröbner Bases Theory in the AFP Mathematics/Algebra Computer science/Algorithms/Mathematical Executable Multivariate Polynomials https://isa-afp.org/entries/Polynomials.html Tue, 10 Aug 2010 00:00:00 +0000 Executable Multivariate Polynomials in the AFP Mathematics/Analysis Mathematics/Algebra Computer science/Algorithms/Mathematical