BibTeX records: Eric Wieser

download as .bib file

@article{DBLP:journals/corr/abs-2108-10700,
  author    = {Eric Wieser},
  title     = {Scalar actions in Lean's mathlib},
  journal   = {CoRR},
  volume    = {abs/2108.10700},
  year      = {2021},
  url       = {https://arxiv.org/abs/2108.10700},
  eprinttype = {arXiv},
  eprint    = {2108.10700},
  timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2108-10700.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-03551,
  author    = {Eric Wieser and
               Utensil Song},
  title     = {Formalizing Geometric Algebra in Lean},
  journal   = {CoRR},
  volume    = {abs/2110.03551},
  year      = {2021},
  url       = {https://arxiv.org/abs/2110.03551},
  eprinttype = {arXiv},
  eprint    = {2110.03551},
  timestamp = {Thu, 21 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2110-03551.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nature/HarrisMWGVCWTBS20,
  author    = {Charles R. Harris and
               K. Jarrod Millman and
               St{\'{e}}fan van der Walt and
               Ralf Gommers and
               Pauli Virtanen and
               David Cournapeau and
               Eric Wieser and
               Julian Taylor and
               Sebastian Berg and
               Nathaniel J. Smith and
               Robert Kern and
               Matti Picus and
               Stephan Hoyer and
               Marten H. van Kerkwijk and
               Matthew Brett and
               Allan Haldane and
               Jaime Fern{\'{a}}ndez del R{\'{\i}}o and
               Mark Wiebe and
               Pearu Peterson and
               Pierre G{\'{e}}rard{-}Marchant and
               Kevin Sheppard and
               Tyler Reddy and
               Warren Weckesser and
               Hameer Abbasi and
               Christoph Gohlke and
               Travis E. Oliphant},
  title     = {Array programming with NumPy},
  journal   = {Nat.},
  volume    = {585},
  pages     = {357--362},
  year      = {2020},
  url       = {https://doi.org/10.1038/s41586-020-2649-2},
  doi       = {10.1038/s41586-020-2649-2},
  timestamp = {Fri, 14 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/nature/HarrisMWGVCWTBS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-10256,
  author    = {Charles R. Harris and
               K. Jarrod Millman and
               St{\'{e}}fan van der Walt and
               Ralf Gommers and
               Pauli Virtanen and
               David Cournapeau and
               Eric Wieser and
               Julian Taylor and
               Sebastian Berg and
               Nathaniel J. Smith and
               Robert Kern and
               Matti Picus and
               Stephan Hoyer and
               Marten H. van Kerkwijk and
               Matthew Brett and
               Allan Haldane and
               Jaime Fern{\'{a}}ndez del R{\'{\i}}o and
               Mark Wiebe and
               Pearu Peterson and
               Pierre G{\'{e}}rard{-}Marchant and
               Kevin Sheppard and
               Tyler Reddy and
               Warren Weckesser and
               Hameer Abbasi and
               Christoph Gohlke and
               Travis E. Oliphant},
  title     = {Array Programming with NumPy},
  journal   = {CoRR},
  volume    = {abs/2006.10256},
  year      = {2020},
  url       = {https://arxiv.org/abs/2006.10256},
  eprinttype = {arXiv},
  eprint    = {2006.10256},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2006-10256.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcns/ThwaitesSWN17,
  author    = {Andrew Thwaites and
               Andrew Soltan and
               Eric Wieser and
               Ian Nimmo{-}Smith},
  title     = {The difficult legacy of Turing's wager},
  journal   = {J. Comput. Neurosci.},
  volume    = {43},
  number    = {1},
  pages     = {1--4},
  year      = {2017},
  url       = {https://doi.org/10.1007/s10827-017-0651-y},
  doi       = {10.1007/s10827-017-0651-y},
  timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jcns/ThwaitesSWN17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics