@phdthesis{oai:repository.dl.itc.u-tokyo.ac.jp:02001485,
 author = {Thies, Holger},
 month = {Aug},
 note = {学位の種別: 課程博士, 審査委員会委員 : （主査）東京大学准教授 河村 彰星, 東京大学教授 山口 和紀, 東京大学講師 小林 浩二, 東京大学講師 松島 慎, 首都大学東京准教授 鈴木 登志雄, トリール大学教授 ノルベルト ミュラー},
 school = {東京大学, The University of Tokyo},
 title = {Uniform computational complexity of ordinary differential equations with applications to dynamical systems and exact real arithmetic},
 year = {2018},
 yomi = {ティース, ホルガー}
}