search

JuliaAlgebra / SemialgebraicSets.jl

Extension of MultivariatePolynomials to semialgebraic sets
Other
22 stars 6 forks source link

Resolution #27

Open blegat opened 2 years ago

blegat commented 2 years ago

Implement resolution using the gröbner basis interface; see [CLO05, p. 253-256].

[CLO05] Cox, A. David & Little, John & O'Shea, Donal Using Algebraic Geometry. Graduate Texts in Mathematics, 2005. https://doi.org/10.1007/b138611