Project Details
Description
Categorical Quantum Mechanics; Exact and Approximate Synthesis; Monoidal Categories; Normal Forms; Quantum Advantage; Quantum Circuit Optimization; Quantum Computing; Quantum Simulation; Rewriting
| Status | Active |
|---|---|
| Effective start/end date | 1/1/21 → … |
Funding
- Natural Sciences and Engineering Research Council of Canada: US$17,334.00
ASJC Scopus Subject Areas
- Mathematics(all)
- Computational Theory and Mathematics
- Computational Mathematics