Conferences in DBLP
Masami Hagiya Molecular Computing and Real Number Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Daisuke Takahashi Low Temperature Limit of Equations - Hidden Discrete Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Vasco Brattka Some Aspects of Computable Functional Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Yohji Akama , Shinji Iizuka Real Number Representations of Graph-Directed IFS Attractors. [Citation Graph (0, 0)][DBLP ] Conf ] Andrej Bauer , Paul Taylor 0002 The Dedekind Reals in Abstract Stone Duality. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas S. Bridges , Robin Havea , Peter Schuster Ideals in Constructive Banach Algebra Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas S. Bridges , Luminita Vîta An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y). [Citation Graph (0, 0)][DBLP ] Conf ] Douglas S. Bridges , Luminita Vîta Proximal Connectedness. [Citation Graph (0, 0)][DBLP ] Conf ] Santiago Figueira , Frank Stephan , Guohua Wu Randomness and Universal Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Tanja Grubba , Klaus Weihrauch A Computable Version of Dini's Theorem for Topological Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Hertling A Sequentially Computable Function that is not Effectively Continous at any Point. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroyasu Kamo Computability and Computable Uniqueness of Urysohn's Universal Metric Space. [Citation Graph (0, 0)][DBLP ] Conf ] Tien D. Kieu Mathematical Computability Questions for some Classes of Linear and Non-Linear Differential Equations Originated from Hilbert's Tenth Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Branimir Lambov RealLib: an Efficient Implementation of Exact Real Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] Takakazu Mori , Yoshiki Tsujii , Mariko Yasugi Fine Computable Functions and Effective Fine Convergence. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Rettinger , Xizhong Zheng A Hierarchy of Turing Degrees for Divergence Bounded Computable Real Numbers. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Schröder , Alex K. Simpson Representing Probability Measures using Probabilistic Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Taylor 0002 A Lambda Calculus for Real Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Weihrauch Multi-Functions on Multi-Represented Sets are Closed under Flowchart Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Mariko Yasugi , Takakazu Mori , Yoshiki Tsujii Effective Sequence of Uniformities and its Effective Limit. [Citation Graph (0, 0)][DBLP ] Conf ] Satoru Yoshida Generalized Functions with Pseudobounded Support in Constructive Mathematics. [Citation Graph (0, 0)][DBLP ] Conf ] Fuxiang Yu , Arthur W. Chou , Ker-I Ko On the Complexity of Finding Circumscribed Rectangles for a Two-Dimensional Domain. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Ziegler Effectively Open Real Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Takashi Kohno Design of Neuromorphic Hardwares. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Hertling Computable Analysis via Representations. [Citation Graph (0, 0)][DBLP ] Conf ] Norbert Th. Müller Implementing Exact Real Numbers Efficiently. [Citation Graph (0, 0)][DBLP ] Conf ] Andrej Bauer Realizability as Connection between Constructive and Computable Mathematics. [Citation Graph (0, 0)][DBLP ] Conf ] Atsushi Yoshikawa , Mariko Yasugi Computable Versions of Basic Theorems in Functional Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Martín Hötzel Escardó Compactness in Topology and Computation. [Citation Graph (0, 0)][DBLP ] Conf ] 