32 citations · 80 across the 9 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
math.LO2015
Energy randomness
Joseph S. Miller, Jason Rute
Energy randomness is a notion of partial randomness introduced by Diamondstone and Kjos-Hanssen to characterize the sequences that can be elements of a Martin-Löf random closed set…
math.LO2015
When does randomness come from randomness?
Jason Rute
A result of Shen says that if is an almost-everywhere computable, measure-preserving transformation, and is Ma…
math.MG2015
A formal proof of the Kepler conjecture
Thomas Hales, Mark Adams, Gertrud Bauer +19
This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the…