Le moteur de recherche
des thèses françaises
Grégoire Lecerf
IdRefMots clés
FR |
EN
Calcul formel
Algèbre linéaire
Arithmétique polynomiale
Circuits arithmétiques
Polynômes creux
Théorie de la complexité
Groupes arithmétiques
Approximation polynomiale
Arithmétique
Algèbre linéaire creuse
Polynômes
Sciences et techniques communes
Mathematiques
Equation polynomiale
Systeme equation
Algorithme
Elimination
Codes correcteurs d'erreurs
Preuves interactives
Preuves vérifiables de manière probabiliste