1 citations · 2 across the 7 of their papers we have counts for
1 paper · 1 filter
Dag Normann, Sam Sanders
To enable the study of open sets in computational approaches to mathematics, lots of extra data and structure on these sets is assumed. For both foundational and mathematical reaso…