@Article{DD-MM-Calculemus2005,
  AUTHOR = {David Delahaye and Micaela Mayero},
  TITLE = {{Q}uantifier {E}limination over {A}lgebraically 
                           {C}losed {F}ields in a 
                           {P}roof {A}ssistant using a {C}omputer 
                           {A}lgebra {S}ystem},
  BOOKTITLE = {Proceedings of Calculemus 2005},
  volume = {151(1)},
  pages = {57--73},
  series = {ENTCS},
  YEAR = {2006},
  lipn-category = {intc}
}

@Article{DD-MM-JSC,
  AUTHOR = {David Delahaye and Micaela Mayero},
  TITLE = {{D}ealing with {A}lgebraic {E}xpressions over a
                           {F}ield in {C}oq using {M}aple},
  BOOKTITLE = {Journal of Symbolic Computation: special issue
                          on the integration of automated reasoning and
                          computer algebra systems},
  volume = {39(5)},
  pages = {569--592},
  YEAR = {2005},
  lipn-category = {jour}
}

@TechReport{DD-MM-Fermat4,
author={David Delahaye and Micaela Mayero},
title={{D}iophantus' 20th {P}roblem and {F}ermat's {L}ast {T}heorem for $n=4$: 
 {F}ormalization of {F}ermat's {P}roofs in the {C}oq {P}roof {A}ssistant},
year={2005},
lipn-category = {rapl}
}

@TechReport{MM-BM-FV-IncBehavior,
author={Micaela Mayero and B. Monsuez and F. Védrine},
title={{H}ow an "{I}ncoherent {B}ehavior" inside generic hardware component
characterizes functional errors},
year={2005},
lipn-category = {rapl}
}