From Newton to the path integral: research on action principles, deformation quantization, renormalization and Lean formalization.
-
Updated
Feb 25, 2026 - TeX
From Newton to the path integral: research on action principles, deformation quantization, renormalization and Lean formalization.
To associate your repository with the deformation-quantization topic, visit your repo's landing page and select "manage topics."