{"id":"palomar/PALOMAR-2026-11-04-000004","url":"https://github.com/daattavya98/HironakaLean-public/tree/bd604257410766e082f817ff4cc67bb01adc35ad","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-11-04-000004-v1.json","repo":"https://github.com/daattavya98/HironakaLean-public","tags":["math.AG","msc:14E15","msc:14B05","msc:14E05","msc:13H05"],"score":0,"title":"HironakaLean: Hironaka's resolution of singularities (1964), formalized as written","trust":"high","domain":"math.AG","source":"palomar","authors":["Daattavya Aggarwal","Minhyong Kim","Oisin Kim"],"reviews":0,"subject":"math.AG","summary":"Heisuke Hironaka's 1964 papers 'Resolution of singularities of an algebraic variety over a field of characteristic zero I,II' were seminal achievements in the history of algebraic geometry. They had inestimable impact on a broad range of research areas in mathematics including geometry, topology, number theory, differential equations, and mathematical physics. The achievement was recognised by a Fields medal awarded to Hironaka in 1970. The papers constitute a veritable tour de force contained in 217 densely-packed pages. The algebraic and combinatorial complexity of the papers is daunting,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-11-04","reactions":{},"formalized":true,"formalizes":[{"title":"Resolution of Singularities of an Algebraic Variety Over a Field of Characteristic Zero: I","identifier":"https://www.jstor.org/stable/1970486","relationship":"formalizes"},{"title":"Resolution of Singularities of an Algebraic Variety Over a Field of Characteristic Zero: II","identifier":"https://www.jstor.org/stable/1970547","relationship":"formalizes"}]}