Axel is an algebraic geometric modeler developed in the research team Galaad, which aim is to provide “algebraic modeling” tools for the manipulation and computation with implicit and parametric curves, surfaces and volumes. It is embedding dedicated packages from Mathemagix which provides algebraic capabilities for geometric modeling.
Topology : compute the certified topology of curves and surfaces with either implicit or parametric representation
Intersections : compute the intersection of implicit or parametric curves or surfaces
Self-intersections : compute the self-intersections of parametric surfaces whatever their parameterization
Singularities : compute the singularities of algebraic surfaces
Differential modeling : derivative curves, graphed surfaces
Set theoretic modeling : boolean operations, arrangements