복잡도 및 실수 연산 연구실

지글러 마틴 교수 · 전산이론

계산 가능성과 복잡도 이론을 연속적인 수학 문제에 적용한다. 해석학·수치해석·대수학·물리학에서 나타나는 문제를 위한 엄밀한 알고리즘과 계산 모델을 연구한다.

소개 출처 ↗ · 공식 홈페이지의 연구 내용을 요약했습니다.