Sites Inria

Version française

EURECA Research team

Proof, Symbolic Computation and Logic

  • Leader : Pierre Lescanne
  • Research center(s) : CRI Nancy - Grand Est
  • Field : Software engineering and symbolic computing
  • Theme : Algorithms and Computational Algebra