Formalized Mathematics174564 (ISSN : 1426-2630)SHERPA/RoMEOVoir les documents associés Exporter Export XML Export RDF