A term-rewriting system for computer quantum algebra

J. J. Hudson

Existing computer algebra packages do not fully support quantum mechanics calculations in Dirac's notation. I present the foundation for building such support: a mathematical syste…