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.
External Links
holger_thies.txt · Last modified: 2021/09/13 13:08 by sewon