
@INPROCEEDINGS{Biha08Formalisation,
  author = {Ould Biha, Sidi},
  title = {{Formalisation des math{\'e}matiques : une preuve du th{\'e}or{\`e}me de Cayley-Hamilton}},
  booktitle = {{JFLA (Journ{\'e}es Francophones des Langages Applicatifs)}},
  pages = {1-14},
  organization = {INRIA},
  year = {2008},
  note = {available at \url{http://hal.inria.fr/inria-00202795/PDF/ouldbiha.pdf}},
}

@PHDTHESIS{Biha10Composants,
  author = {Ould Biha, Sidi},
  title = {{Composants math{\'e}matiques pour la th{\'e}orie des groupes}},
  school = {Universit{\'e} de Nice -- Sophia Antipolis},
  year = {2010},
  note = {available at \url{http://hal.inria.fr/tel-00493524}}
}

