In this repositoy there are two packages that allow to solve systems of polynomial inequalities. The package DisSolve.m2 is a Macaualy2 package to solve numerically ...

Abstract: This paper considers the problem of computing the real solutions of systems of polynomial equalities and inequalities, and proposes a new approach based on convex linear matrix inequality ...

Let be a polynomial of degree n and for a complex number , let denote the polar derivative of the polynomial with respect to . In this paper, first we extend as well as generalize the result proved by ...

Abstract: Polynomial inequality proving is fundamental to many mathematical disciplines and finds wide applications in diverse fields. Current traditional algebraic methods are based on searching for ...

Department of Basic Sciences and Humanities, National Institute of Technology, Manipur, India. In this paper, we first extend the above inequality to polar derivative of a polynomial. Further, as an ...

The field of polynomial systems occupies a central role in computational mathematics, where the intricate interplay between algebra, geometry, and computational complexity is evident. Research in this ...

Brief description of the files: TNFtools.jl: Auxiliary functions and struct definitions for the routines in denseTNF.jl, projHNF.jl, polyhedralTNF.jl and toricHNF.jl. denseTNF.jl: Routines for solving ...