Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jar/AvigadHS17,
  author       = {Jeremy Avigad and
                  Johannes H{\"{o}}lzl and
                  Luke Serafin},
  title        = {A Formally Verified Proof of the Central Limit Theorem},
  journal      = {J. Autom. Reason.},
  volume       = {59},
  number       = {4},
  pages        = {389--423},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10817-017-9404-x},
  doi          = {10.1007/S10817-017-9404-X},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/AvigadHS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/combinatorics/CondonCSS16,
  author       = {Daniel Condon and
                  Samuel Coskey and
                  Luke Serafin and
                  Cody Stockdale},
  title        = {On Generalizations of Separating and Splitting Families},
  journal      = {Electron. J. Comb.},
  volume       = {23},
  number       = {3},
  pages        = {3},
  year         = {2016},
  url          = {https://doi.org/10.37236/5672},
  doi          = {10.37236/5672},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/combinatorics/CondonCSS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/AvigadHS14,
  author       = {Jeremy Avigad and
                  Johannes H{\"{o}}lzl and
                  Luke Serafin},
  title        = {A formally verified proof of the Central Limit Theorem},
  journal      = {CoRR},
  volume       = {abs/1405.7012},
  year         = {2014},
  url          = {http://arxiv.org/abs/1405.7012},
  eprinttype    = {arXiv},
  eprint       = {1405.7012},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/AvigadHS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}