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
-
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
-