activity
20162025
most citedAn arithmetic topos for integer matrices

5 citations · 9 across the 9 of their papers we have counts for

collaborators
Showing math.RAShow all

5 papers · 1 filter