Zobrazeno 1 - 2
of 2
pro vyhledávání: '"15A66 (Primary) 68V20 (Secondary)"'
Autor:
Wieser, Eric, Song, Utensil
Publikováno v:
Advances in Applied Clifford Algebras 32, Article 28 (2022)
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, mathlib. As we use Lean source code to demonstrate many of our ideas, we
Externí odkaz:
http://arxiv.org/abs/2110.03551
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, mathlib. As we use Lean source code to demonstrate many of our ideas, we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6645965f6830ae43b93d413cbbf95924
https://www.repository.cam.ac.uk/handle/1810/336169
https://www.repository.cam.ac.uk/handle/1810/336169