Fermionic path integral (source code)

= Fermionic path integral

A fermionic path integral integrates Grassmann-valued histories. Its Gaussian integral is a determinant, in contrast with the inverse determinant produced by a bosonic Gaussian integral.