Recherche - Archive ouverte HAL

2 résultats

	Pour les 2 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		A Constructive Formalisation of Semi-algebraic Sets and Functions Boris Djalal 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 Communication dans un congrès hal-01643919v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Formalization of a Newton Series Representation of Polynomials Cyril Cohen , Boris Djalal Certified Programs and Proofs, Jan 2016, St. Petersburg, Florida, United States Communication dans un congrès hal-01240469v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats