Toricity of vertically parametrized systems with applications to reaction network theory
E Feliu, O Henriksson - arXiv preprint arXiv:2411.15134, 2024 - arxiv.org
In this paper, we present new necessary conditions and sufficient conditions for the (positive
parts of) the varieties of vertically parametrized systems to admit monomial parametrizations …
parts of) the varieties of vertically parametrized systems to admit monomial parametrizations …
Quantifier Elimination for Normal Cone Computations
M Mandlmayr, AK Uncu - arXiv preprint arXiv:2402.05579, 2024 - arxiv.org
We present effective procedures to calculate regular normal cones and other related objects
using quantifier elimination. This method of normal cone calculations is complementary to …
using quantifier elimination. This method of normal cone calculations is complementary to …
[PDF][PDF] A Combined VTS/Lazard Quantifier Elimination Method
JH Davenport, ZP Tonks, AK Uncu - 2021 - ceur-ws.org
Many nonlinear optimisation problems involving systems of multivariate polynomial
constraints can be expressed as Quantifier Elimination problems. In this regard, the need to …
constraints can be expressed as Quantifier Elimination problems. In this regard, the need to …