Eric Wieser

Orcid: 0000-0003-0412-4978

According to our database1, Eric Wieser authored at least 8 papers between 2017 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Multiple inheritance hazards in algebraic typeclass hierarchies.
CoRR, 2023

Multiple-Inheritance Hazards in Dependently-Typed Algebraic Hierarchies.
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

2022
Graded Rings in Lean's Dependent Type Theory.
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2021
Formalizing Geometric Algebra in Lean.
CoRR, 2021

Scalar actions in Lean's mathlib.
CoRR, 2021

Scalar actions in Lean's mathlib (short paper).
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.
Nat., 2020

2017
The difficult legacy of Turing's wager.
J. Comput. Neurosci., 2017


  Loading...