THIES HOLGER

ティースホルガー | HOLGER THIES

所属機関・部署：
職名：特定講師
ホームページURL (1件)： http://www.holgerthies.com

研究分野 (1件)：情報学基礎論

競争的資金等の研究課題 (1件)：

論文 (16件)：

Michal Konecný, Sewon Park 0001, Holger Thies. Formalizing Hyperspaces for Extracting Efficient Exact Real Computation. MFCS. 2023. 59-16
Michal Konecný, Sewon Park 0001, Holger Thies. Extracting efficient exact real number computation from proofs in constructive type theory. CoRR. 2022. abs/2202.00891
Michal Konečný, Sewon Park, Holger Thies. Certified Computation of Nondeterministic Limits. NASA Formal Methods - 14th International Symposium(NFM). 2022. 771-789
Michal Konecný, Sewon Park 0001, Holger Thies. Axiomatic Reals and Certified Efficient Exact Real Computation. Logic, Language, Information, and Computation - 27th International Workshop(WoLLIC). 2021. 252-268
Svetlana Selivanova, Florian Steinberg 0001, Holger Thies, Martin Ziegler 0001. Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations. Computer Algebra in Scientific Computing - 23rd International Workshop(CASC). 2021. 370-390

学歴 (4件)：

学位 (1件)：

経歴 (5件)：

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。