« Calcul ZX » : différence entre les versions

Dernière version du 30 août 2024 à 14:04

Langage graphique puissant et intuitif, issu de la théorie des catégories, et qui permet de raisonner et calculer en quantique.

calcul ZX

ZX calculus

@@ Ligne 1 : / Ligne 1 : @@
-==en construction==
-==[[:Catégorie:Quantique| '''INFORMATIQUE QUANTIQUE''']]==
 == Définition ==
-Langage graphique utilisé pour visualiser dans la programmation quantique les notions d’intrication, la complémentarité, la causalité et leurs interactions. Il peut notamment servir au calcul par la mesure (Measurement Based Quantum Computing ou MBQC), à la création de codes de corrections d’erreurs et à l’optimisation de programmes quantiques dans des compilateurs grâce à sa théorie équationnelle et aux déformations topologiques de graphes. Ses principaux contributeurs sont des chercheurs français comme Simon
+Langage graphique puissant et intuitif, issu de la théorie des catégories, et qui permet de raisonner et calculer en quantique.
-Perdrix.
 == Français ==
-''' Calcul ZX '''
+''' calcul ZX '''
 == Anglais ==
 ''' ZX calculus'''
+==Sources==
-<small>
+[https://inspirehep.net/literature/2647963 Source: Inspire Hep ]
+{{Modèle:Quantique}}
-[https://datafranca.org/images/Comprendre-Informatique-Quantique-Olivier-Ezratty.pdf#page=668   Source : Comprendre l'informatique quantique par  Olivier Ezratty ]
- [[:Catégorie:Quantique | '''<span style="font-size:18px">GLOSSAIRE DE L'INFORMATIQUE QUANTIQUE</span>''']]
 [[Catégorie:Quantique]]
-[[Catégorie:vocabulaire]]