2 citations · 2 across the 1 of their papers we have counts for
2 papers
math.LO2019★ 2 cited
(Seemingly) Impossible Theorems in Constructive Mathematics
Hannes Diener, Matthew Hendtlass
We prove some constructive results that on first and maybe even on second glance seem impossible.
math.CA2018
Rectifiability and finite variation
Matthew Hendtlass
We show that the length of a path in can be computed if and only if its variation in every direction can.