Satisfiability Modulo Finite Fields
Book chapter (July 2023)
Computations in Algebraic Geometry with Macaulay 2
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Ideals, Varieties and Macaulay 2
-
Altmetric BadgeChapter 2 Projective Geometry and Homological Algebra
-
Altmetric BadgeChapter 3 Data Types, Functions, and Programming
-
Altmetric BadgeChapter 4 Teaching the Geometry of Schemes
-
Altmetric BadgeChapter 5 Monomial Ideals
-
Altmetric BadgeChapter 6 From Enumerative Geometry to Solving Systems of Polynomial Equations
-
Altmetric BadgeChapter 7 Resolutions and Cohomology over Complete Intersections
-
Altmetric BadgeChapter 8 Algorithms for the Toric Hilbert Scheme
-
Altmetric BadgeChapter 9 Sheaf Algorithms Using the Exterior Algebra
-
Altmetric BadgeChapter 10 Needles in a Haystack: Special Varieties via Small Fields
-
Altmetric BadgeChapter 11 D -modules and Cohomology of Varieties