Physics – Quantum Physics
Scientific paper
2008-09-25
Physics
Quantum Physics
16 pages, 1 table
Scientific paper
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 system for the symbolic manipulation of expressions used in the invariant formalism of quantum mechanics. I first describe the essential mathematical features of the Hilbert-space invariant formalism. This is followed by a formal characterisation of all possible algebraic expressions in this formalism. This characterisation is provided in the form of a set of terms. Rewrite rules over this set of terms are then developed that correspond to allowed manipulations of the algebraic expressions. This approach is contrasted with current attempts to build invariant quantum mechanics calculations into computer algebra systems.
No associations
LandOfFree
A term-rewriting system for computer quantum algebra does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A term-rewriting system for computer quantum algebra, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A term-rewriting system for computer quantum algebra will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-182500