Group Abstract Group Abstract

Message Boards Message Boards

DiracDec package: automating equational proofs in Dirac notation

Posted 6 months ago

Attachments:
POSTED BY: Yingte Xu
POSTED BY: EDITORIAL BOARD
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard