This project contains packages for Algebraic Computation and Geometric Modeling, that is for high order geometric modeling with algebraic or semi-algebraic models such as polynomials, splines, tensors … and for creating and computing with these models.
These packages are available at github.com/AlgebraicGeometricModeling/.
AlgebraicSolvers.jl: solvers of multivariate polynomial equations, using resultant constructions and computing truncated normal forms
MomentPolynomialOpt.jl: solvers for polynomial optimization problems and generalized moment problems, using SDP solvers
MultivariateSeries.jl: multivariate series to represent and compute with series of pseudo-moments and dual linear functionals on polynomials
SemiAlgebraicTypes.jl: semi-algebraic objects, such as points, spheres, lines, ellipsoids, bsplines, meshes, …
GSplines.jl: geometrically smooth splines on quadrangular meshes
For more details, see here.