×
Edit Profile (opens in new tab)

Song, Utensil

Co-Author Distance
Author ID: song.utensil Recent zbMATH articles by "Song, Utensil"
Published as: Song, Utensil
Documents Indexed: 1 Publication since 2022
Co-Authors: 1 Co-Author with 1 Joint Publication
2 Co-Co-Authors

Co-Authors

0 single-authored
1 Wieser, Eric

Serials

1 Advances in Applied Clifford Algebras

Fields

1 Number theory (11-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Computer science (68-XX)

Publications by Year

Citations contained in zbMATH Open

1 Publications have been cited 3 times in 3 Documents Cited by ▼ Year ▼
Formalizing geometric algebra in Lean. Zbl 1494.68307
Wieser, Eric; Song, Utensil
3
2022
Formalizing geometric algebra in Lean. Zbl 1494.68307
Wieser, Eric; Song, Utensil
3
2022
all top 5

Cited by 7 Authors

2 Wieser, Eric
1 Hitzer, Eckhard
1 Kamarianakis, Manos
1 Lasenby, Joan
1 Papagiannakis, George
1 Vašík, Petr
1 Zhang, Jujian

Cited in 1 Serial

1 Mathematical Methods in the Applied Sciences

Cited in 3 Fields

2 Linear and multilinear algebra; matrix theory (15-XX)
2 Computer science (68-XX)
1 Number theory (11-XX)

Citations by Year