Pascal Koiran
IdRefMots clés
FR |
EN
Complexité algébrique
Complexité de calcul (informatique)
Circuits arithmétiques
Théorie de Valiant
Bornes inférieures
Modèle de Valiant
Complexité algorithmique
Machine BSS
Problèmes de satisfaction de contraintes
Arithmétique en virgule flottante
Primitives cryptographiques quantique
Tirage quantique à pile ou face
Mise en gage quantique
Complexité en requête
Méthode par adversaire
Méthode polynomiale
Theoreme fort de produit direct
Informatique quantique
Cryptographie
Complexité arithmétique