Theory of representations
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 49718
- scientific article; zbMATH DE number 4028127
- scientific article; zbMATH DE number 3035682
- Representations and the foundations of mathematics
- scientific article; zbMATH DE number 4068990
- Representation theory of finite-dimensional algebras
- Representation theory of orders
- Homological Theory of Representations
- scientific article; zbMATH DE number 701897
- scientific article; zbMATH DE number 3887669
Cites work
- scientific article; zbMATH DE number 3887669 (Why is no real title available?)
- scientific article; zbMATH DE number 3788601 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- scientific article; zbMATH DE number 3291139 (Why is no real title available?)
- scientific article; zbMATH DE number 3053706 (Why is no real title available?)
- Admissible representations of effective cpo's
- Computability concepts for programming language semantics
- Computational complexity of real functions
- Data Types as Lattices
- Effective operations on partial recursive functions
- L p -Computability in Recursive Analysis
- Theorie der Numerierungen I
- Type 2 recursion theory
Cited in
(80)- Type 2 recursion theory
- A semilattice of degrees of computable metrics
- Continuous and monotone machines
- On the complexity of conversion between classic real number representations
- Exact real computation of solution operators for linear analytic systems of partial differential equations
- Completion of choice
- When series of computable functions with varying domains are computable
- Parametrised second-order complexity theory with applications to the study of interval computation
- scientific article; zbMATH DE number 7703272 (Why is no real title available?)
- Representations of the real numbers and of the open subsets of the set of real numbers
- Computability on computable metric spaces
- On the topological aspects of the theory of represented spaces
- A natural weak limit space with admissible representation which is not a limit space
- scientific article; zbMATH DE number 4037847 (Why is no real title available?)
- Admissibly Represented Spaces and Qcb-Spaces
- Computable analysis and notions of continuity in \textsc{Coq}
- Representation theorems for transfinite computability and definability
- Computability on the probability measures on the Borel sets of the unit interval
- Some hierarchies of \(\mathsf{QCB}_0\)-spaces
- How much partiality is needed for a theory of computability?
- Notes on overt choice
- Reducibility of computable metrics on the real line
- \(\delta\)-uniform BSS machines
- Computable Riesz representation for locally compact Hausdorff spaces
- Weihrauch goes Brouwerian
- Towards a descriptive theory of cb\(_{0}\)-spaces
- The fixed-point property for represented spaces
- Computability on subsets of Euclidean space. I: Closed and compact subsets
- Computable metrics above the standard real metric
- Computable Banach spaces via domain theory
- A functional algorithm for exact real integration with invariant measures
- scientific article; zbMATH DE number 3884140 (Why is no real title available?)
- Equality is a jump
- Topological properties of real number representations.
- scientific article; zbMATH DE number 1746030 (Why is no real title available?)
- Effectiveness of the global modulus of continuity on metric spaces
- Computing Schrödinger propagators on type-2 Turing machines
- Coalgebraic representation theory of fractals
- On the maximality of degrees of metrics under computable reducibility
- Axiomatic reals and certified efficient exact real computation
- Recursion and topology on \(2^{\leq\omega}\) for possibly infinite computations
- Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
- Computability on continuous, lower semi-continuous and upper semi-continuous real functions
- The solution operator of the Korteweg-de Vries equation is computable
- Alan Turing and the foundations of computable analysis
- Theses for computation and recursion on concrete and abstract structures
- Coherence spaces and uniform continuity
- Computability on the probability measures on the Borel sets of the unit interval
- A relationship between equilogical spaces and type two effectivity
- A comparison of concepts from computable analysis and effective descriptive set theory
- Compactness in constructive analysis revisited
- scientific article; zbMATH DE number 7407788 (Why is no real title available?)
- Computable reducibility of metrics on the reals
- Three topological reducibilities for discontinuous functions
- THE DISCONTINUITY PROBLEM
- On the complexity of online computations of real functions
- How constructive is constructing measures?
- Quantitative continuity and Computable Analysis in Coq
- A Real Number Structure that is Effectively Categorical
- Computer Science for Continuous Data
- scientific article; zbMATH DE number 1746033 (Why is no real title available?)
- scientific article; zbMATH DE number 3887669 (Why is no real title available?)
- A Wadge hierarchy for second countable spaces
- Weihrauch Complexity in Computable Analysis
- Concrete models of computation for topological algebras
- Computation by `While' programs on topological partial algebras
- Random elements in effective topological spaces with measure.
- A domain-theoretic approach to computability on the real line
- Admissible representations of effective cpo's
- scientific article; zbMATH DE number 3993572 (Why is no real title available?)
- Extended admissibility.
- scientific article; zbMATH DE number 7407778 (Why is no real title available?)
- Foundation of a computable solid modelling.
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
- Degrees of unsolvability of continuous functions
- Representation theory and convexity
- Type 2 computational complexity of functions on Cantor's space
- Quantitative coding and complexity theory of compact metric spaces
- An effective Riemann Mapping Theorem
- Uniqueness conditions of the representation of a topology in \(Top(X)\)
This page was built for publication: Theory of representations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1073022)
