dataHAL

https://data.archives-ouvertes.fr/author/843170

http://xmlns.com/foaf/0.1/familyName	Cháves
http://xmlns.com/foaf/0.1/topic_interest	Certification de programmes
http://xmlns.com/foaf/0.1/topic_interest	Numerical computations
http://xmlns.com/foaf/0.1/topic_interest	Preuve formelle
http://xmlns.com/foaf/0.1/topic_interest	Formal proof
http://xmlns.com/foaf/0.1/topic_interest	Arithmétique d'intervalles
http://xmlns.com/foaf/0.1/interest	https://data.archives-ouvertes.fr/subject/info.info-oh
http://xmlns.com/foaf/0.1/firstName	Francisco
http://xmlns.com/foaf/0.1/topic_interest	Taylor models
http://xmlns.com/foaf/0.1/topic_interest	Calcul numérique
http://xmlns.com/foaf/0.1/mbox_sha1sum	cd1aa70aa5b2df46a608531a20c85176
http://xmlns.com/foaf/0.1/topic_interest	Certification of programs
http://xmlns.com/foaf/0.1/topic_interest	Modèles de Taylor
http://xmlns.com/foaf/0.1/name	Francisco Cháves
http://xmlns.com/foaf/0.1/topic_interest	Proof checker
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/topic_interest	PVS
http://xmlns.com/foaf/0.1/interest	https://data.archives-ouvertes.fr/subject/info.info-mo
http://xmlns.com/foaf/0.1/topic_interest	Interval arithmetic