Recherche
Présentation
Le laboratoire
Organigramme
Recrutement
Contact
Accès
Recherche
Equipes
- Administration
- ILJ
- Isid
- Laetitia
- MSDMA
- OC
- SYS
- Vertigo
Actualités et Evénements
Membres
Publications
Doctorants
Formation
Electronique
Informatique
Mathématiques
Master
ENSIIE
Ecole Doctorale
Intranet
Connexion
Accueil CEDRIC
>
Laboratoire
>
Membre
>
View
>
Micaela Mayero
Publications
2005
Revue Internationale avec comité de lecture
[DM05]
D. Delahaye
, M. Mayero. "
Dealing with Algebraic Expressions over a Field in Coq using Maple
",
JSC
,
vol.
39(5),
pp.
569-592, 2005
Conférence Internationale avec comité de lecture
[DM05a]
D. Delahaye
, M. Mayero. "
Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System
", Calculemus, University of Newcastle upon Tyn (United Kingdom), January 2005,
Vol.
151(1),
pp.
57-73,
Series
ENTCS
,
2001
Conférence Nationale avec comité de lecture
[DM01]
D. Delahaye
, M. Mayero. "
Field: une procédure de décision pour les nombres réels en Coq
", Journées Francophones des Langages Applicatifs (JFLA), Pontarlier (France), January 2001,
Electronique
Informatique
Mathématiques
Master
CNA
M
Réseau Cnam
Accès
Contact
Informations Légales