Eric Wieser

According to our database, Eric Wieser authored at least 9 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Chaining Extensionality Lemmas in Lean's Mathlib.

Eric Wieser

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024

2023

Multiple inheritance hazards in algebraic typeclass hierarchies.

Eric Wieser

CoRR, 2023

Multiple-Inheritance Hazards in Dependently-Typed Algebraic Hierarchies.

Eric Wieser

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

2022

Graded Rings in Lean's Dependent Type Theory.

Eric Wieser, Jujian Zhang

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2021

Formalizing Geometric Algebra in Lean.

Eric Wieser, Utensil Song

CoRR, 2021

Scalar actions in Lean's mathlib.

Eric Wieser

CoRR, 2021

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

Eric Wieser

Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021

2020

Array programming with NumPy.

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

Nat., 2020

2017

The difficult legacy of Turing's wager.

Andrew Thwaites, Andrew A. S. Soltan, Eric Wieser, Ian Nimmo-Smith

J. Comput. Neurosci., 2017