litlas
Log inCreate account

Eric Wieser

Active 2017–2026

11
Papers
37,962
Citations
4
h-index
1
i10-index

Citations

Citations per year for Eric Wieser1985: 1 citations1990: 1 citations1992: 1 citations1993: 1 citations1995: 1 citations1997: 1 citations1998: 3 citations1999: 1 citations2000: 1 citations2001: 1 citations2002: 4 citations2003: 3 citations2004: 4 citations2005: 1 citations2006: 1 citations2007: 3 citations2008: 2 citations2009: 4 citations2010: 4 citations2012: 1 citations2013: 3 citations2015: 2 citations2016: 5 citations2017: 2 citations2018: 8 citations2019: 14 citations2020: 643 citations2021: 1,367 citations2022: 1,487 citations2023: 1,693 citations2024: 2,220 citations2025: 1,603 citations2026: 348 citations2027: 1 citations1986–1989: no citations, so these years are not shown1991: no citations, so this year is not shown1994: no citations, so this year is not shown1996: no citations, so this year is not shown2011: no citations, so this year is not shown2014: no citations, so this year is not shown

Citation sources

Countries

World map of the countries and regions citing this authorUnited States: 3,824 citing papers, 24.2% of this breakdownGermany: 1,668 citing papers, 10.5% of this breakdownUnited Kingdom: 1,238 citing papers, 7.8% of this breakdownChina: 692 citing papers, 4.4% of this breakdownFrance: 686 citing papers, 4.3% of this breakdownCanada: 594 citing papers, 3.8% of this breakdownSwitzerland: 525 citing papers, 3.3% of this breakdownItaly: 509 citing papers, 3.2% of this breakdownNetherlands: 505 citing papers, 3.2% of this breakdownSpain: 474 citing papers, 3% of this breakdownJapan: 345 citing papers, 2.2% of this breakdownAustralia: 336 citing papers, 2.1% of this breakdown
0%24.2%Other 28%

Institutions

Fields

  • Computer Science21.6%
  • Biochemistry, Genetics and Molecular Biology20.9%
  • Medicine13.7%
  • Engineering11%
  • Physics and Astronomy7.8%
  • Neuroscience7.7%
  • Other17.3%

Topics

  • Neural dynamics and brain function1.4%
  • Protein Structure and Dynamics1.3%
  • Quantum Computing Algorithms and Architecture1.2%
  • Computational Drug Discovery Methods1.2%
  • Genomics and Phylogenetic Studies1.1%
  • Quantum Information and Cryptography1%
  • Other92.8%

Coauthors

All papers

Open in search
  1. SciPy 1.0: fundamental algorithms for scientific computing in Python

    Authors: Pauli Virtanen, Ralf Gommers, Travis E. Oliphant, Matt Haberland, Tyler Reddy, David Cournapeau, Evgeni Burovski, Pearu Peterson, Warren Weckesser, Jonathan Bright, Stéfan J. van der Walt, Matthew Brett, Joshua Wilson, K. Jarrod Millman, Nikolay Mayorov, Andrew R. J. Nelson, Eric Jones, Robert Kern, Eric Larson, C J Carey, İlhan Polat, Yu Feng, Eric W. Moore, Jake VanderPlas, Denis Laxalde, Josef Perktold, Robert Cimrman, Ian Henriksen, E. A. Quintero, Charles R. Harris, Anne M. Archibald, Antônio H. Ribeiro, Fabian Pedregosa, Paul van Mulbregt, SciPy 1.0 Contributors, Aditya Vijaykumar, Alessandro Pietro Bardelli, Alex Rothberg, Andreas Hilboll, Andreas Kloeckner, Anthony Scopatz, Antony Lee, Ariel Rokem, C. Nathan Woods, Chad Fulton, Charles Masson, Christian Häggström, Clark Fitzgerald, David A. Nicholson, David R. Hagen, Dmitrii V. Pasechnik, Emanuele Olivetti, Eric Martin, Eric Wieser, Fabrice Silva, Felix Lenders, Florian Wilhelm, G. Young, Gavin A. Price, Gert-Ludwig Ingold, Gregory E. Allen, Gregory R. Lee, Hervé Audren, Irvin Probst, Jörg P. Dietrich, Jacob Silterra, James T Webber, Janko Slavič, Joel Nothman, Johannes Buchner, Johannes Kulick, Johannes L. Schönberger, José Vinícius de Miranda Cardoso, Joscha Reimer, Joseph Harrington, Juan Luis Cano Rodríguez, Juan Nunez-Iglesias, Justin Kuczynski, Kevin Tritz, Martin Thoma, Matthew Newville, Matthias Kümmerer, Maximilian Bolingbroke, Michael Tartre, Mikhail Pak, Nathaniel J. Smith, Nikolai Nowaczyk, Nikolay Shebanov, Oleksandr Pavlyk, Per A. Brodtkorb, Perry Lee, Robert T. McGibbon, Roman Feldbauer, Sam Lewis, Sam Tygier, Scott Sievert, Sebastiano Vigna, Stefan Peterson, Surhud More, Tadeusz Pudlik and 12 more - Nature Methods 2020 cited by 37,936

  2. Advancing Mathematics Research with AI-Driven Formal Proof Search

    Authors: George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, Anja Surina, Moritz Firsching, Gergely Bérczi, Francisco J. R. Ruiz, Arun Suggala, Ascher Wagner, Eric Wieser, Lei Yu, Aja Huang, Miklós Z. Horváth, Andrew Ferrauiolo, Henryk Michalewski, Codruţ Grosu, Thomas Hubert, Matej Balog, Pushmeet Kohli, Swarat Chaudhuri, Chaudhuri, Swarat - arXiv (Cornell University), CoRR 2026 cited by 4

  3. Olympiad-level formal mathematical reasoning with reinforcement learning

    Authors: Thomas Hubert, Rishi Mehta, Laurent Sartran, Miklós Z. Horváth, Goran Žužić, Eric Wieser, Aja Huang, Julian Schrittwieser, Yannick Schroecker, Hussain Masoom, Ottavia Bertolli, Tom Zahavy, Amol Mandhane, J.‐Y. Yung, Iuliya Beloshapka, Borja Ibarz, Vivek Veeriah, Lei Yu, Oliver Nash, Paul Lezeau, Salvatore Mercuri, Calle Sönne, Bhavik Mehta, Alex Davies, Daniel Zheng, Fabián Pedregosa, Yin Li, Ingrid von Glehn, Mark Rowland, Samuel Albanie, Ameya Velingker, Simon Schmitt, Edward Lockhart, Edward Hughes, Henryk Michalewski, Nicolas Sonnerat, Demis Hassabis, Pushmeet Kohli, David Silver - Nature 2025 cited by 7

  4. Scalar actions in Lean's mathlib

    Authors: Eric Wieser - arXiv (Cornell University), CoRR 2021 cited by 4

  5. The difficult legacy of Turing's wager

    Authors: Andrew Thwaites, Andrew A. S. Soltan, Eric Wieser, Ian Nimmo-Smith - Journal of Computational Neuroscience, J. Comput. Neurosci. 2017 cited by 4

  6. Multiple-Inheritance Hazards in Dependently-Typed Algebraic Hierarchies

    Authors: Eric Wieser - Lecture notes in computer science, CICM 2023 cited by 2

  7. Formalizing Geometric Algebra in Lean

    Authors: Eric Wieser, Utensil Song - Advances in Applied Clifford Algebras 2022 cited by 5

  8. Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics

    Authors: Moritz Firsching, Paul Lezeau, Salvatore Mercuri, Miklós Z. Horváth, Yaël Dillies, Calle Sönne, Eric Wieser, Fred Zhang, Thomas Hubert, Blaise Agüera y Arcas, Pushmeet Kohli - ArXiv.org, CoRR 2026 cited by 0

  9. Chaining Extensionality Lemmas in Lean's Mathlib

    Authors: Eric Wieser - Lecture notes in computer science, CICM 2024 cited by 0

  10. Graded Rings in Lean's Dependent Type Theory

    Authors: Eric Wieser, Jujian Zhang - Lecture notes in computer science, CICM 2022 cited by 0

  11. Scalar actions in Lean's mathlib (short paper)

    Authors: Eric Wieser - CICM Workshops 2021 cited by 0

All 11 papers shown.