conf.researchr.org / Boris Djalal

Not registered as user yet

Name: Boris Djalal

Affiliation: INRIA

Contributions

CPP 2018Author of A Constructive Formalisation of Semi-algebraic Sets and Functions within the CPP 2018-track
CPP 2016Author of Formalization of a Newton series representation of polynomials within the CPP-track