mrdouglasnypphi20.1.0

Construction of phi^4_2 quantum field theory in Lean 4
#math
Sort by
  1. Registry dependency.
    Not found on Reservoir.

    GibbsVariationala7535d1

  2. Registry dependency.
    Not found on Reservoir.

    gaussian-hilbert56ee09f

  3. Registry dependency.
    Found on Reservoir.

    bochner34222bb

  4. Registry dependency.
    Not found on Reservoir.

    GaussianFieldd63a285

  5. Registry dependency.
    Not found on Reservoir.

    reflection-positivity387b2ad