Wsolve
From MaRDI portal
Software:21889
No author found.
Related Items (8)
Challenging theorem provers with Mathematical Olympiad problems in solid geometry ⋮ Equality-constrained minimization of polynomial functions ⋮ Algorithms for computing triangular decomposition of polynomial systems ⋮ Solving the equality-constrained minimization problem of polynomial functions ⋮ Unnamed Item ⋮ Algorithms for computing triangular decompositions of polynomial systems ⋮ Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition ⋮ Doing Algebraic Geometry with the RegularChains Library
This page was built for software: Wsolve
