2 papers
cs.LO2021
Formalizing Galois Theory
Thomas Browning, Patrick Lutz
We describe a project to formalize Galois theory using the Lean theorem prover, which is part of a larger effort to formalize all of the standard undergraduate mathematics curricul…
quant-ph2020
Classical Limits of Unbounded Quantities by Strict Quantization
Thomas L. Browning, Benjamin H. Feintzeig, Robin Gates-Redburg +2
This paper extends the tools of C*-algebraic strict quantization toward analyzing the classical limits of unbounded quantities in quantum theories. We introduce the approach first…