Login / Signup
Boris Djalal
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 2
Top Topics
Formal Analysis
Invariant Representation
R Tree
Feature Extraction
Top Venues
CPP
</>
Publications
</>
Boris Djalal
A constructive formalisation of Semi-algebraic sets and functions.
CPP
(2018)
Cyril Cohen
,
Boris Djalal
Formalization of a newton series representation of polynomials.
CPP
(2016)