Boris Djalal

According to our database, Boris Djalal authored at least 2 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

A constructive formalisation of Semi-algebraic sets and functions.

Boris Djalal

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2016

Formalization of a newton series representation of polynomials.

Cyril Cohen, Boris Djalal

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016