D-Hammer automates equational reasoning in labelled Dirac notation using a dependently typed language and a normalization algorithm, and it runs faster than DiracDec on plain Dirac examples.
New Journal of Physics16(9), 093021 (2014)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation
D-Hammer automates equational reasoning in labelled Dirac notation using a dependently typed language and a normalization algorithm, and it runs faster than DiracDec on plain Dirac examples.