Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Evelyne Contejean

Evelyne Contejean

[go: Go Back, main page]

Chargée de Recherche CNRS

Laboratoire de Recherche en Informatique
URA 410 CNRS, Bâtiment 490
Université de Paris-Sud
91405 ORSAY Cedex - FRANCE

téléphone: (+33) (0)1 69 15 64 76
télécopie: (+33) (0)1 69 15 65 86
e-mail: Evelyne.Contejean@lri.fr

Acivités de recherche

Je suis membre de l'équipe Démonstration et Programmation du LRI. Mes principaux centres d'intérêt sont
  • les contraintes linéaires sur les entiers positifs
  • équations et inéquations Diophantiennes linéaires
  • contraintes globales au sens de la programmation logique contrainte
  • les contraintes symboliques
  • unification syntaxique
  • unification modulo AC, ACU, ACI, D, etc
  • unification d'ordre supérieur (unification de motifs modulo AC)
  • la démonstration automatique
  • systèmes de réécriture pour l'arithmétique
  • le système CiME.

    • Publications