CCA 2009 August 18-22, 2009, Ljubljana, Slovenia

6th International Conference on Computability and Complexity in Analysis (CCA'09)



Andrej Bauer and Peter Hertling and Ker-I Ko (Eds.)
ISBN 978-3-939897-12-5, OASICS Vol. 11 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 7 MB)
Search Publication Server


Support
  • CCA Net


  • Authors
  • Andreev, Valentin V.
  • Bauer, Andrej
  • Berger, Josef
  • Berger, Ulrich
  • Bienvenu, Laurent
  • Blanck, Jens
  • Brattka, Vasco
  • Braverman, Mark
  • Bridges, Douglas
  • Collins, Pieter
  • de Brecht, Matthew
  • Diener, Hannes
  • Escardó, Martin
  • Gaßner, Christine
  • Gherardi, Guido
  • Gu, Xiaoyang
  • Hölzl, Rupert
  • Hertling, Peter
  • Iljazovic, Zvonko
  • Ko, Ker-I
  • Kräling, Thorsten
  • Kreinovich, Vladik
  • Lutz, Jack H.
  • Mayordomo, Elvira
  • McNicholl, Timothy H.
  • Merkle, Wolfgang
  • Mielke, Jöran
  • Mori, Takakazu
  • O'Connor, Russell
  • Pauly, Arno
  • Rettinger, Robert
  • Schröder, Matthias
  • Schuster, Peter
  • Scott, Dana
  • Spitters, Bas
  • Staiger, Ludwig
  • Tsuiki, Hideki
  • Tsujii, Yoshiki
  • Weihrauch, Klaus
  • Yamamoto, Akihiro
  • Yasugi, Mariko
  • Zheng, Xizhong
  • Zhong, Ning
  • Ziegler, Martin

  •   
    CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis
    Authors: Bauer, Andrej ; Hertling, Peter ; Ko, Ker-I

    Abstract | Document (306 KB) | BibTeX

    CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis
    Authors: Bauer, Andrej ; Hertling, Peter ; Ko, Ker-I

    Abstract | Document (129 KB) | BibTeX

    Computability and Complexity of Julia Sets (Invited Talk)
    Authors: Braverman, Mark

    Abstract | Document (102 KB) | BibTeX

    From Interval Computations to Constraint-Related Set Computations: Towards Faster Estimation of Statistics and ODEs under Interval and p-Box Uncertainty (Invited Talk)
    Authors: Kreinovich, Vladik

    Abstract | Document (309 KB) | BibTeX

    Semilattices, Domains, and Computability (Invited Talk)
    Authors: Scott, Dana

    Abstract | Document (101 KB) | BibTeX

    Computable Analysis of Differential Equations (Invited Talk)
    Authors: Zhong, Ning

    Abstract | Document (99 KB) | BibTeX

    Theory and Practice of Higher-type Computation (Tutorial)
    Authors: Escardó, Martin

    Abstract | Document (106 KB) | BibTeX

    Computer Verified Exact Analysis (Tutorial)
    Authors: Spitters, Bas ; O'Connor, Russell

    Abstract | Document (113 KB) | BibTeX

    Computing Conformal Maps onto Canonical Slit Domains
    Authors: Andreev, Valentin V. ; McNicholl, Timothy H.

    Abstract | Document (300 KB) | BibTeX

    Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions
    Authors: Bauer, Andrej ; Blanck, Jens

    Abstract | Document (373 KB) | BibTeX

    Realisability and Adequacy for (Co)induction
    Authors: Berger, Ulrich

    Abstract | Document (324 KB) | BibTeX

    A Constructive Study of Landau's Summability Theorem
    Authors: Berger, Josef ; Bridges, Douglas

    Abstract | Document (329 KB) | BibTeX

    Separations of Non-monotonic Randomness Notions
    Authors: Bienvenu, Laurent ; Hölzl, Rupert ; Kräling, Thorsten ; Merkle, Wolfgang

    Abstract | Document (317 KB) | BibTeX

    Weihrauch Degrees, Omniscience Principles and Weak Computability
    Authors: Brattka, Vasco ; Gherardi, Guido

    Abstract | Document (327 KB) | BibTeX

    Effective Choice and Boundedness Principles in Computable Analysis
    Authors: Brattka, Vasco ; Gherardi, Guido

    Abstract | Document (380 KB) | BibTeX

    Computability of Homology for Compact Absolute Neighbourhood Retracts
    Authors: Collins, Pieter

    Abstract | Document (315 KB) | BibTeX

    Sigma^0_alpha - Admissible Representations (Extended Abstract)
    Authors: de Brecht, Matthew ; Yamamoto, Akihiro

    Abstract | Document (348 KB) | BibTeX

    Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis
    Authors: Diener, Hannes ; Schuster, Peter

    Abstract | Document (241 KB) | BibTeX

    Relativizations of the P =? DNP Question for the BSS Model
    Authors: Gaßner, Christine

    Abstract | Document (328 KB) | BibTeX

    Curves That Must Be Retraced
    Authors: Gu, Xiaoyang ; Lutz, Jack H. ; Mayordomo, Elvira

    Abstract | Document (392 KB) | BibTeX

    Effective Dispersion in Computable Metric Spaces
    Authors: Iljazovic, Zvonko

    Abstract | Document (277 KB) | BibTeX

    On Oscillation-free epsilon-random Sequences II
    Authors: Mielke, Jöran ; Staiger, Ludwig

    Abstract | Document (375 KB) | BibTeX

    Computability of Probability Distributions and Distribution Functions
    Authors: Mori, Takakazu ; Tsujii, Yoshiki ; Yasugi, Mariko

    Abstract | Document (326 KB) | BibTeX

    How Discontinuous is Computing Nash Equilibria? (Extended Abstract)
    Authors: Pauly, Arno

    Abstract | Document (377 KB) | BibTeX

    Towards the Complexity of Riemann Mappings (Extended Abstract)
    Authors: Rettinger, Robert

    Abstract | Document (353 KB) | BibTeX

    On the Computability of Rectifiable Simple Curve (Extended Abstract)
    Authors: Rettinger, Robert ; Zheng, Xizhong

    Abstract | Document (287 KB) | BibTeX

    A Note on Closed Subsets in Quasi-zero-dimensional Qcb-spaces (Extended Abstract)
    Authors: Schröder, Matthias

    Abstract | Document (351 KB) | BibTeX

    Random Iteration Algorithm for Graph-Directed Sets
    Authors: Tsujii, Yoshiki ; Mori, Takakazu ; Yasugi, Mariko ; Tsuiki, Hideki

    Abstract | Document (384 KB) | BibTeX

    Computable Separation in Topology, from T_0 to T_3
    Authors: Weihrauch, Klaus

    Abstract | Document (336 KB) | BibTeX

    Real Computation with Least Discrete Advice: A Complexity Theory of Nonuniform Computability
    Authors: Ziegler, Martin

    Abstract | Document (446 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI