Djalal. A Constructive Formalisation of Semi-algebraic Sets and Functions. ACM Press, 2018, doi:10.1145/3176245.3167099.