5 citations · 8 across the 4 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.HO2022★ 5 cited
Mathematical Proof Between Generations
Jonas Bayer, Christoph Benzmüller, Kevin Buzzard +7
A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This…
math.NT2022
An elementary proof of the local Kronecker-Weber theorem
Jochen Koenigsmann, Benedikt Stock
We will present a novel elementary, self-contained, and explicit proof of the local Kronecker-Weber theorem. Apart from discrete valuation theory, it does not make use of any tools…