Follow
Eric Wieser
Eric Wieser
University of Cambridge
Verified email at mit.edu - Homepage
Title
Cited by
Cited by
Year
SciPy 1.0: fundamental algorithms for scientific computing in Python
P Virtanen, R Gommers, TE Oliphant, M Haberland, T Reddy, ...
Nature methods 17 (3), 261-272, 2020
253952020
Array programming with NumPy
CR Harris, KJ Millman, SJ van der Walt, R Gommers, P Virtanen, ...
Nature 585 (7825), 357-362, 2020
152212020
Entrainment to the CIECAM02 and CIELAB colour appearance models in the human cortex
A Thwaites, C Wingfield, E Wieser, A Soltan, WD Marslen-Wilson, ...
Vision research 145, 1-10, 2018
202018
Scalar actions in Lean's mathlib
E Wieser
Workshop Papers of the 14th Conference on Intelligent Computer Mathematics …, 2021
92021
Thermobar: A critical evaluation of mineral-melt thermobarometry and hygrometry in arc magmas using a new open-source Python3 tool
P Wieser, M Petrelli, J Lubbers, E Wieser, A Kent, C Till
GSA connects 2021. Portland, 2021
72021
Formalizing Geometric Algebra in Lean
E Wieser, U Song
Advances in Applied Clifford Algebras 32 (3), 1-26, 2022
52022
The difficult legacy of Turing’s wager
A Thwaites, A Soltan, E Wieser, I Nimmo-Smith
Journal of Computational Neuroscience 43, 1-4, 2017
42017
The galgebra python library
A Bromborsky, U Song, E Wieser, H Hadfield, TP Team
https://doi.org/10.5281/zenodo.3857096, 0
3*
Graded Rings in Lean’s Dependent Type Theory
E Wieser, J Zhang
Intelligent Computer Mathematics: 15th International Conference, CICM 2022 …, 2022
22022
NEP 18—A dispatch mechanism for NumPy’s high level array functions
S Hoyer, M Rocklin, M van Kerkwijk, H Abbasi, E Wieser
22018
The clifford Python Library
A Arsenovic, H Hadfield, E Wieser, R Kern, TP Team
https://doi.org/10.5281/zenodo.1453978, 0
2*
Measurement datasets 1-3.01 for the “Kymata Atlas”
A Thwaites, I Nimmo-Smith, E Wieser, A Soltan, WD Marslen-Wilson
University of Cambridge, 2016
12016
Time-optimal Trajectories for Holonomic Drive Robots
E Wieser
The system can't perform the operation now. Try again later.
Articles 1–13