Toggle navigation
Création EP
Référentiel Structures
Fiches Equipes
Fiches Projets
BASTRI - Fiches Equipes
Base des structures de recherche Inria
Toggle navigation
Flux RSS
Vie des structures de recherche Inria
CRI BSO : vie des structures de recherche
CRI GRA : vie des structures de recherche
CRI LNE : vie des structures de recherche
CRI LYS : vie des structures de recherche
CRI NGE : vie des structures de recherche
CRI PRO : vie des structures de recherche
CRI RBA : vie des structures de recherche
CRI SAM : vie des structures de recherche
CRI SGE : vie des structures de recherche
CRI SIF : vie des structures de recherche
Equipes-projet, Equipes
Toutes les Equipes-projet, Equipes
Vue par centre
Vue par domaine/thème
Vue par Défi
Défis / Actions Exploratoires (AEx)
Défis en cours
Défis terminés
Actions Exploratoires en cours
Actions Exploratoires terminées
Exports Excel
Export Excel de toutes les structures
Export Excel des structures terminées
Export Excel des structures actives
Thème "Algorithmique, calcul formel et cryptologie"
Equipes actives uniquement
Merci de patienter ...
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
30 résultats
A
ARIC (SR0539JR) - Arithmétiques des ordinateurs, méthodes formelles, génération de code
AROMATH (SR0751VR) - Algebre geometrie Modelisation et Algorithmes
C
CANARI (SR0944PR) - Analyse cryptographique et arithmétique
CAPSULE (SR0935UR) - Cryptographie Appliquée et Sécurité des Implémentations
CARAMBA (SR0730NR) - Cryptology, arithmetic : algebraic methods for better algorithms
CARAMBA (SR0755YR) - Cryptology, arithmetic : algebraic methods for better algorithms
CARAMEL (SR0449PR) - Cryptologie, Arithmétique : Matériel et Logiciel
CASCADE (SR0095XR) - Conception et Analyse de Systèmes pour la Confidentialité et l’Authentification de Données et d’Entitées
COSMIQ (SR0886CR) - Cryptologie symétrique, cryptologie fondée sur les codes et information quantique
CRYPT (SR0528ER) - Cryptanalyse
D
DATASHAPE (SR0726XR) - Understanding the Shape of Data
DATASHAPE (SR0792FR) - Comprendre la forme des données
G
GAIA (SR0822NR) - Géométrie, Algèbre, Informatique, Applications
GALAAD (SR0181IR) - Géométrie, algèbre, algorithmes
GALAAD2 (SR0627AR) - Géométrie , Algèbre, Algorithmes
GAMBLE (SR0769MR) - Geometric Algorithms and Models Beyond the Linear and Euclidean realm
GAMBLE (SR0791BR) - Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien
GEOMETRICA (SR0182KR) - Calcul géométrique
GRACE (SR0591TR) - Geometry, arithmetic, algorithms, codes and encryption
L
LFANT (SR0415HR) - Théorie algorithmique des nombres rapide et flexible
M
MATHEXP (SR0920CR) - Calcul formel, mathématiques expérimentales et interactions
O
OURAGAN (SR0482BR) - OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs
OURAGAN (SR0875NR) - OUtils de Résolution Algébriques, Géométriques et leurs ApplicatioNs
P
POLSYS (SR0536SR) - Polynomial Systems
Q
QINFO (SR0929KR) - Traitement optimal de l'information avec des dispositifs quantiques
QURIOSITY (SR0934SR) - Communication et Traitement Quantiques de l'Information
S
SECRET (SR0097JR) - Sécurité, Cryptologie et Transmissions
SPECFUN (SR0538HR) - Symbolic Special Functions : Fast and Certified
SPECFUN (SR0654LR) - Symbolic Special Functions : Fast and Certified
V
VEGAS (SR0059IR) - Algorithmes géométriques effectifs pour la visibilité et les surfaces