Détails sur le projet
Description
Categorical Quantum Mechanics; Exact and Approximate Synthesis; Monoidal Categories; Normal Forms; Quantum Advantage; Quantum Circuit Optimization; Quantum Computing; Quantum Simulation; Rewriting
| Statut | Actif |
|---|---|
| Date de début/de fin réelle | 1/1/21 → … |
Financement
- Natural Sciences and Engineering Research Council of Canada: 17 334,00 $ US
ASJC Scopus Subject Areas
- Mathematics(all)
- Computational Theory and Mathematics
- Computational Mathematics