activity
20192026
most citedSciPy 1.0--Fundamental Algorithms for Scientific Computing in Python

40.2k citations · 63.8k across the 6 of their papers we have counts for

collaborators
Showing 2021Show all

2 papers · 1 filter

cs.LO2021★ 5 cited

Formalizing Geometric Algebra in Lean

Eric Wieser, Utensil Song

This paper explores formalizing Geometric (or Clifford) algebras into the Lean 3 theorem prover, building upon the substantial body of work that is the Lean mathematics library, ma…

cs.LO2021

Scalar actions in Lean's mathlib

Eric Wieser

Scalar actions are ubiquitous in mathematics, and therefore it is valuable to be able to write them succinctly when formalizing. In this paper we explore how Lean 3's typeclasses a…