Publications HAL de Boris Djalal

2018

titre
A Constructive Formalisation of Semi-algebraic Sets and Functions
auteur
Boris Djalal
article
CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, California, United States. pp.240-251
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01643919/file/CPP_2018_paper_Boris_Djalal.pdf BibTex

2016

titre
Formalization of a Newton Series Representation of Polynomials
auteur
Cyril Cohen, Boris Djalal
article
Certified Programs and Proofs, Jan 2016, St. Petersburg, Florida, United States
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01240469/file/main.pdf BibTex