biblio.bib

@INPROCEEDINGS{three-gap-types99,
  author = {Mayero, Micaela},
  title = {{T}he {T}hree {G}ap {T}heorem 
                           (Steinhauss Conjecture)},
  booktitle = {Proceedings of TYPES'99},
  publisher = {Springer-Verlag LNCS},
  volume = {1956},
  pages = {162--173},
  date = {2000},
  note = {\\{\sf ftp://ftp.inria.fr/INRIA/LogiCal/Micaela.Mayero/papers/three-gap.ps.gz}},
}

@INPROCEEDINGS{MM-tphol2002,
  author = {Mayero, Micaela},
  title = {{U}sing {T}heorem {P}roving for {N}umerical 
                           {A}nalysis. 
                           {C}orrectness {P}roof of al {A}utomatic 
                           {D}ifferentiation {A}lgorithm},
  booktitle = {Proceedings of TPHOLs2002},
  publisher = {Springer-Verlag LNCS},
  volume = {2410},
  pages = {246},
  date = {2002},
  note = {\\{\sf ftp://ftp.inria.fr/INRIA/LogiCal/Micaela.Mayero/papers/odyssee.ps.gz}},
}

@INPROCEEDINGS{MM-DD-JSC,
  author = {Delahaye, David and Mayero, Micaela},
  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},
  note = {\\{\sf ftp://ftp.inria.fr/INRIA/LogiCal/Micaela.Mayero/papers/Maple-Mode.ps.gz}},
}

@INPROCEEDINGS{field,
  author = {Delahaye, David and Mayero, Micaela},
  title = {{\tt Field}: une proc\'edure de d\'ecision pour les nombres 
           r\'eels en {C}oq},
  booktitle = {{J}ourn\'ees {F}rancophones des {L}angages {A}pplicatifs, 
              Pontarlier},
  publisher = {INRIA},
  month = {Janvier},
  year = {2001},
  note = {\\{\sf ftp://ftp.inria.fr/INRIA/LogiCal/Micaela.Mayero/papers/field.ps.gz}},
}

@TECHREPORT{MAY99,
  author = {Mayero,Micaela},
  title = {{T}he {T}hree {G}ap {T}heorem: {S}pecification and {P}roof in 
           {C}oq},
  institution = {INRIA},
  number = {3848},
  year = {1999},
  month = {December},
  note = {\\{\sf ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-3848.ps.gz}},
}

@TECHREPORT{field-pvs,
  author = {Mu\~noz, C\'esar and Mayero, Micaela},
  title = {{R}eal {A}utomation in the {F}ield},
  institution = {ICASE Nasa-Langley Research Center},
  number = {NASA/CR-2001-211271 Report 39},
  month = {December},
  year = {2001},
  note = {\\{\sf ftp://ftp.inria.fr/INRIA/LogiCal/Micaela.Mayero/papers/field-pvs.ps.gz}},
}

@PHDTHESIS{mayero-tesis,
  author = {Mayero, Micaela},
  title = {Formalisation et automatisation de preuves en analyses r\'elle 
           et num\'erique},
  school = {Universit\'e Paris VI},
  month = {d\'ecembre},
  year = {2001},
  note = {\\{\sf ftp://ftp.inria.fr/INRIA/LogiCal/Micaela.Mayero/papers/these-mayero.ps.gz}},
}

@MANUAL{CoqDocWeb,
  author = {The {C}oq {D}evelopment {T}eam},
  title = {The Coq Proof Assistant Reference Manual Version~7.2},
  organization = {INRIA-Rocquencourt},
  month = {December},
  year = {2001},
  note = {\\{\sf http://coq.inria.fr/doc-eng.html}},
}

@MASTERSTHESIS{mayero-DEA,
  author = {Mayero, Micaela},
  title = {Le th\'eor\`eme des 3 intervalles: sp\'ecification et preuve en 
            {C}oq},
  school = {Universit\'e Pierre et Marie Curie (Paris 6)},
  type = {Rapport du DEA S\'emantique, Preuves et Programmation},
  month = {Septembre},
  year = {1997},
  note = {\\{\sf ftp://ftp.inria.fr/INRIA/LogiCal/Micaela.Mayero/papers/DEA97-mayero.ps.gz}},
}