Login / Signup
Anton Hedin
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Computer Algebra
Minimum Volume
Digital Topology
Von Neumann
Top Venues
J. Log. Anal.
</>
Publications
</>
Hannes Diener
,
Anton Hedin
The Vitali covering theorem in constructive mathematics.
J. Log. Anal.
4 (2012)