litlas
ログインアカウント作成

Eric Wieser

2017–2026 年に発表

11
論文数
37,962
被引用数
4
h 指数
1
i10 指数

被引用数

Eric Wieser の年別被引用数1985 年: 被引用 1 件1990 年: 被引用 1 件1992 年: 被引用 1 件1993 年: 被引用 1 件1995 年: 被引用 1 件1997 年: 被引用 1 件1998 年: 被引用 3 件1999 年: 被引用 1 件2000 年: 被引用 1 件2001 年: 被引用 1 件2002 年: 被引用 4 件2003 年: 被引用 3 件2004 年: 被引用 4 件2005 年: 被引用 1 件2006 年: 被引用 1 件2007 年: 被引用 3 件2008 年: 被引用 2 件2009 年: 被引用 4 件2010 年: 被引用 4 件2012 年: 被引用 1 件2013 年: 被引用 3 件2015 年: 被引用 2 件2016 年: 被引用 5 件2017 年: 被引用 2 件2018 年: 被引用 8 件2019 年: 被引用 14 件2020 年: 被引用 643 件2021 年: 被引用 1,367 件2022 年: 被引用 1,487 件2023 年: 被引用 1,693 件2024 年: 被引用 2,220 件2025 年: 被引用 1,603 件2026 年: 被引用 348 件2027 年: 被引用 1 件1986〜1989 年は被引用が無いため表示していません1991 年は被引用が無いため表示していません1994 年は被引用が無いため表示していません1996 年は被引用が無いため表示していません2011 年は被引用が無いため表示していません2014 年は被引用が無いため表示していません

引用元

国・地域

この著者を引用した国・地域の世界地図アメリカ合衆国: 引用元論文 3,824 件、この内訳の 24.2%ドイツ: 引用元論文 1,668 件、この内訳の 10.5%イギリス: 引用元論文 1,238 件、この内訳の 7.8%中国: 引用元論文 692 件、この内訳の 4.4%フランス: 引用元論文 686 件、この内訳の 4.3%カナダ: 引用元論文 594 件、この内訳の 3.8%スイス: 引用元論文 525 件、この内訳の 3.3%イタリア: 引用元論文 509 件、この内訳の 3.2%オランダ: 引用元論文 505 件、この内訳の 3.2%スペイン: 引用元論文 474 件、この内訳の 3%日本: 引用元論文 345 件、この内訳の 2.2%オーストラリア: 引用元論文 336 件、この内訳の 2.1%
0%24.2%その他 28%

機関

分野

  • Computer Science21.6%
  • Biochemistry, Genetics and Molecular Biology20.9%
  • Medicine13.7%
  • Engineering11%
  • Physics and Astronomy7.8%
  • Neuroscience7.7%
  • その他17.3%

トピック

  • 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%
  • その他92.8%

共著者

全論文

検索で開く
  1. SciPy 1.0: fundamental algorithms for scientific computing in Python

    著者: 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 ほか 12 名 - Nature Methods 2020 被引用: 37,936

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

    著者: 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 被引用: 4

  3. Olympiad-level formal mathematical reasoning with reinforcement learning

    著者: 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 被引用: 7

  4. Scalar actions in Lean's mathlib

    著者: Eric Wieser - arXiv (Cornell University), CoRR 2021 被引用: 4

  5. The difficult legacy of Turing's wager

    著者: Andrew Thwaites, Andrew A. S. Soltan, Eric Wieser, Ian Nimmo-Smith - Journal of Computational Neuroscience, J. Comput. Neurosci. 2017 被引用: 4

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

    著者: Eric Wieser - Lecture notes in computer science, CICM 2023 被引用: 2

  7. Formalizing Geometric Algebra in Lean

    著者: Eric Wieser, Utensil Song - Advances in Applied Clifford Algebras 2022 被引用: 5

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

    著者: 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 被引用: 0

  9. Chaining Extensionality Lemmas in Lean's Mathlib

    著者: Eric Wieser - Lecture notes in computer science, CICM 2024 被引用: 0

  10. Graded Rings in Lean's Dependent Type Theory

    著者: Eric Wieser, Jujian Zhang - Lecture notes in computer science, CICM 2022 被引用: 0

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

    著者: Eric Wieser - CICM Workshops 2021 被引用: 0

全 11 件を表示しました。