Eric Wieser

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 10

Top Topics

Class Hierarchies

High Level Language

Situation Calculus

Geometric Algebra

Top Venues

J. Comput. Neurosci.

Publications

Eric Wieser
Chaining Extensionality Lemmas in Lean's Mathlib. CICM (2024)
Eric Wieser
Multiple inheritance hazards in algebraic typeclass hierarchies. CoRR (2023)
Eric Wieser
Multiple-Inheritance Hazards in Dependently-Typed Algebraic Hierarchies. CICM (2023)
Eric Wieser, Jujian Zhang
Graded Rings in Lean's Dependent Type Theory. CICM (2022)
Eric Wieser
Scalar actions in Lean's mathlib (short paper). CICM Workshops (2021)
Eric Wieser, Utensil Song
Formalizing Geometric Algebra in Lean. CoRR (2021)
Eric Wieser
Scalar actions in Lean's mathlib. CoRR (2021)
Charles R. Harris, K. Jarrod Millman, Stéfan van der Walt, Ralf Gommers, Pauli Virtanen, David Cournapeau, Eric Wieser, Julian Taylor, Sebastian Berg, Nathaniel J. Smith, Robert Kern, Matti Picus, Stephan Hoyer, Marten H. van Kerkwijk, Matthew Brett, Allan Haldane, Jaime Fernández del Río, Mark Wiebe, Pearu Peterson, Pierre Gérard-Marchant, Kevin Sheppard, Tyler Reddy, Warren Weckesser, Hameer Abbasi, Christoph Gohlke, Travis E. Oliphant
Array programming with NumPy. Nat. 585 (2020)
Charles R. Harris, K. Jarrod Millman, Stéfan van der Walt, Ralf Gommers, Pauli Virtanen, David Cournapeau, Eric Wieser, Julian Taylor, Sebastian Berg, Nathaniel J. Smith, Robert Kern, Matti Picus, Stephan Hoyer, Marten H. van Kerkwijk, Matthew Brett, Allan Haldane, Jaime Fernández del Río, Mark Wiebe, Pearu Peterson, Pierre Gérard-Marchant, Kevin Sheppard, Tyler Reddy, Warren Weckesser, Hameer Abbasi, Christoph Gohlke, Travis E. Oliphant
Array Programming with NumPy. CoRR (2020)
Andrew Thwaites, Andrew Soltan, Eric Wieser, Ian Nimmo-Smith
The difficult legacy of Turing's wager. J. Comput. Neurosci. 43 (1) (2017)