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
MomentTools.jl: solvers of polynomial optimization problems based on moment relaxations
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.