Machine-Verified Method for Non-Gaussian Functional Integrals Developed

A new mathematical physics preprint describes a machine-checked construction of non-Gaussian functional integrals. Utilizing the Henstock–Kurzweil gauge integral and Chernoff product approximations, this work focuses on bosonic modes and establishes properties like finiteness and infinite differentiability. This advances theoretical physics and computational mathematics.