Detalles del proyecto
Description
Categorical Quantum Mechanics; Exact and Approximate Synthesis; Monoidal Categories; Normal Forms; Quantum Advantage; Quantum Circuit Optimization; Quantum Computing; Quantum Simulation; Rewriting
| Estado | Activo |
|---|---|
| Fecha de inicio/Fecha fin | 1/1/21 → … |
Financiación
- Natural Sciences and Engineering Research Council of Canada: US$ 17.334,00
ASJC Scopus Subject Areas
- Mathematics(all)
- Computational Theory and Mathematics
- Computational Mathematics