@article{3063642, title = "Axl, a Geometric Modeler for Semi-algebraic Shapes", author = "Christoforou, E. and Mantzaflaris, A. and Mourrain, B. and Wintz, J.", journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)", year = "2018", volume = "10931 LNCS", pages = "128-136", publisher = "Springer-Verlag", doi = "10.1007/978-3-319-96418-8_16", keywords = "Computational geometry; Interpolation; Polynomials; Ship propellers; Visualization, Algebraic modeling; Algebraic surfaces; B splines; Generic programming; Geometric computations; Isogeometric analysis, Application programs", abstract = "We describe the algebraic-geometric modeling platform Axl, which provides tools for the manipulation, computation and visualisation of semi-algebraic models. This includes meshes, basic geometric objects such as spheres, cylinders, cones, ellipsoids, torus, piecewise polynomial parameterisations of curves, surfaces or volumes such as b-spline parameterisations, as well as algebraic curves and surfaces defined by polynomial equations. Moreover, Axl provides algorithms for processing these geometric representations, such as computing intersection loci (points, curves) of parametric models, singularities of algebraic curves or surfaces, certified topology of curves and surfaces, etc. We present its main features and describe its generic extension mechanism, which allows one to define new data types and new processes on the data, which benefit from automatic visualisation and interaction facilities. The application capacities of the software are illustrated by short descriptions of plugins on algebraic curves and surfaces and on splines for Isogeometric Analysis. © 2018, Springer International Publishing AG, part of Springer Nature." }