User Tools

Site Tools


Action disabled: index
holger_thies

Holger Thies

Holger Thies is a German mathematician. He is a lecturer at Kyoto University, Japan. His research includes topics in constructive analysis, computable analysis, type theory, and exact real computation programming.

holger_thies.txt · Last modified: 2021/09/13 13:08 by sewon