Maple has the most comprehensive support for physics of any mathematical software package.
Because of the frequent use of anticommutative and noncommutative variables, functions, vectors, tensors and matrices; specialized rules and operators; and extremely complex notation, algebraic computations in physics are a serious challenge for most mathematical software. While some specialized systems handle a small fraction of this domain, Maple is the only system that provides the ability to handle a wide range of physics computations as well as pencilandpaper style input and textbookquality display of results. In addition, the Physics package is an integral part of the entire Maple system, so using Maple for physics also gives you access to Maple’s full mathematical power, programming language, visualization routines, and document creation tools.
The chart below lists Maple’s capabilities in algebraic computations in physics. In every case, problems in that area can be expressed in Maple using the same notation as you would use when writing the problem on paper, and the results are displayed in the same way as they would be shown in a textbook.
A complete summary of the Physics Package and its commands is also available.

Updates to the Physics Package
Substantial improvements to the Physics Package are made continually!
See the new features added in:
Download the Latest Updates to the Maple Physics Package
The current version of Maple includes the latest official release of Physics, and improvements are ongoing. You can take advantage of this ongoing work by downloading the research version of Physics as it is updated with improvements, fixes, and the very latest new developments.
Learn More


Vector Analysis 
Quantum state vector calculus (Dirac's notation) 
 Projected vectors
 Nonprojected abstract vectors
 Cartesian, cylindrical, and spherical algebraic unit vectors
 Projected vectorial differential operators (e.g. Nabla)
 Abstract vectorial differential operators
 Scalar and cross product operators for vectors that handle projected and abstract vectors
 Differentiation taking into account relationships between geometrical coordinates
 Supporting vectorial routines for changing basis, representing components of abstract vectors, etc.

 Anticommutative and noncommutative variables and functions
 Bras and Kets
 Projectors
 Annihilation/Creation operators
 Orthonormal discrete and continuous bases
 Hermitian and nonHermitian operators, possibly tensorial
 Pauli and Dirac matrices including their commutator algebras and the computation of traces of products
 Commutators and anticommutators
 Customizable commutator and anticommutator algebra rules
 Simplification taking everything into account (fixed and customizable algebra rules, Einstein's sum rule, etc.)

Tensor Analysis (ndimensional Geometry, Special and General Relativity) 
Field Theories (Classical and Quantum) 
 User defined tensors (under addition, multiplication, differentiation, simplification, and transformation of coordinates)
 Distinction between covariant and contravariant indices
 User defined systems of coordinates, possibly many at the same time
 Coordinate transformation of tensorial expressions taking into account covariant and contravariant indices
 Computation of components of arbitrary tensorial expressions
 Determination of free and repeated indices, simplification and differentiation using Einstein's sum rule
 Complete set of general relativity tensors
 Searchable database of solutions to Einstein's equations

 Ability to represent Lagrangians and Hamiltonians involving anticommutative and noncommutative variables, functions and operators
 Ability to compute field equations using standard and functional differentiation
 Ability to compute the analytic structure of the Feynman Diagrams of a model

Product Operators 
Differentiation Operators 
 Standard multiplication operator (*) handling commutative, anticommutative and noncommutative variables in equal footing
 Automatic normal form for products involving commutative, anticommutative, and noncommutative variables
 Scalar and cross product operators for 3D vectors and vectorial functions or vectorial differential operators
 Scalar product operator for Bras and Kets and related quantum state (Dirac notation) vector calculus

 Differentiation with respect to anticommutative variables, scalar and tensor functions
 Functional differentiation with respect to commutative and anticommutative scalar and tensor functions
 The d’Alembertian , the galilean and covariant tensorial differentiation operators

Differential Equations Support 
Differential Geometry Support 
 Computation of Poincare sections for dynamical systems
 Reducing, triangularizing, and/or solving DE systems, possibly involving anticommutative variables and functions
 Symmetry analysis for ODEs and PDEs, possibly including anticommutative variables and functions

 Calculus on manifolds (vector fields, differential forms and transformations)
 Tensor analysis in advanced general relativity
 Calculus on jet spaces
 Lie algebras
 Lie and transformation groups
 Computations can be performed in userspecified frames
 Computations can be performed with abstract differential forms (coordinatefree)

Dig deeper: Overview of the Physics Package and List of Commands
Some examples of computations in Physics
Dig Deeper: More examples from the Physics Package
Mechanics: Lagrangian for a pendulum
The Lagrangian is defined as
b) The steps are the same as in part a:
Electrodynamics: Magnetic field of a rotating charged disk
Problem
Solution
