Conferences in DBLP
Jens Blanck Effectivity of Regular Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony J. Dunlop , Marian Boykan Pour-El The Degree of Unsolvability of a Real Number. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Gowland , David Lester A Survey of Exact Arithmetic Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Armin Hemmerling Standard Representations of Effective Metric Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Hertling Banach-Mazur Computable Functions on Metric Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Namhyun Hur , James H. Davenport A Generic Root Operation for Exact Real Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroyasu Kamo Effective Contraction Theorem and Its Application. [Citation Graph (0, 0)][DBLP ] Conf ] George Kapoulas Polynomially Time Computable Functions over p-Adic Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Kohlenbach On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems. [Citation Graph (0, 0)][DBLP ] Conf ] Margarita V. Korovina , Oleg V. Kudinov Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Marko Krznaric Computing a Required Absolute Precision from a Stream of Linear Fractional Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Meyssonnier , Paolo Boldi , Sebastiano Vigna delta-Approximable Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Takakazu Mori Computabilities of Fine-Continuous Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Norbert Th. Müller The iRRAM: Exact Arithmetic in C++. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Richardson The Uniformity Conjecture. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Schröder Admissible Representations of Limit Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Dimiter Skordev Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Izumi Takeuti Effective Fixed Point Theorem over a Non-computably Separable Metric Space. [Citation Graph (0, 0)][DBLP ] Conf ] Hideki Tsuiki Computational Dimension of Topological Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshiki Tsujii , Mariko Yasugi , Takakazu Mori Some Properties of the Effective Uniform Topological Space. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Weihrauch On Computable Metric Spaces Tietze-Urysohn Extension Is Computable. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Weihrauch , Ning Zhong 0002 Is the Linear Schrödinger Propagator Turing Computable? [Citation Graph (0, 0)][DBLP ] Conf ] Martin Ziegler , Vasco Brattka A Computable Spectral Theorem. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Blanck Exact Real Arithmetic Systems: Results of Competition. [Citation Graph (0, 0)][DBLP ] Conf ] 