ResearchWho?
    • Profile Image
    마틴 지글러
    Position Associate Professor
    Current Department 한국과학기술원 공과대학 전산학부
    프로필
    연구 성과
    논문[17]
    #17. Real computation with least discrete advice: A complexity theory of nonuniform computability with applications to effective linear algebra
    Journal Information 2012.8 · ANNALS OF PURE AND APPLIED LOGIC
    Identifier (DOI) https://doi.org/10.1016/j.apal.2011.12.030
    #16. REAL ANALYTIC MACHINES AND DEGREES: A TOPOLOGICAL VIEW ON ALGEBRAIC LIMITING COMPUTATION
    Journal Information 2011 · LOGICAL METHODS IN COMPUTER SCIENCE
    Identifier (DOI) https://doi.org/10.2168/LMCS-7(3:11)2011
    발표[14]
    #14. Computer Science for Continuous Data: Survey, Vision, Theory, and Practice of a Computer Analysis System
    Organization 24th International Workshop on Computer Algebra in Scientific Computing, CASC 2022
    Date 2022.8
    #13. Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations
    Organization 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021
    Date 2021.9
    팔로우 추천