most citedSnowmass2021 Cosmic Frontier: Cosmic Microwave Background Measurements White Paper

11 citations · 19 across the 2 of their papers we have counts for

collaborators

2 papers

astro-ph.CO2022★ 11 cited

Snowmass2021 Cosmic Frontier: Cosmic Microwave Background Measurements White Paper

Clarence L. Chang, Kevin M. Huffenberger, Bradford A. Benson +128

This is a solicited whitepaper for the Snowmass 2021 community planning exercise. The paper focuses on measurements and science with the Cosmic Microwave Background (CMB). The CMB…

math.AG2021★ 8 cited

Schemes in Lean

Kevin Buzzard, Chris Hughes, Kenny Lau +3

We tell the story of how schemes were formalised in three different ways in the Lean theorem prover.