mrdouglasnyMarkovSemigroups0.1.0

Markov semigroups, functional inequalities, and convergence to equilibrium in Lean 4
#math
Displaying 1-2 of 2 packages depending on mrdouglasny/MarkovSemigroups
Sort by

  1. mrdouglasny/LGTusesacf6491

    Lattice Gauge Theory in Lean 4 — toward the 2D Yang-Mills mass gap

  2. mrdouglasny/pphi2usesacf6491

    Construction of phi^4_2 quantum field theory in Lean 4