1 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Joseph Tooby-Smith
The physics community relies on index notation to effectively manipulate types of tensors. This paper introduces the first formally verified implementation of index notation in the…