Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes Lasserre's Relaxation method to handle theoretically any optimization problem with bounded feasibility set. The method is based on solutions of generalized truncated moment problems over commutative real algebras.

software for real algebraic sets

Sign determination for CAD

A Julia package for computing bounds on the number of roots of vertical systems via tropical geometry.

Numerical Elimination: A Julia package for anlayzing hypersurfaces arising from projection via pseudo-witness sets.