Q4989411 (Q4989411): Difference between revisions

@@ Property / cites work @@
+Q5195290
@@ Property / cites work: Q5195290 / rank @@
+Normal rank
@@ Property / cites work @@
+Real Benefit of Promises and Advice
@@ Property / cites work: Real Benefit of Promises and Advice / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Closed choice and a uniform low basis theorem
@@ Property / cites work: Closed choice and a uniform low basis theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Choice and Boundedness Principles in Computable Analysis
+Normal rank
@@ Property / cites work @@
+The Vitali Covering Theorem in the Weihrauch Lattice
+Normal rank
@@ Property / cites work @@
+Coquelicot: a user-friendly library of real analysis for Coq
+Normal rank
@@ Property / cites work @@
+Formalization of real analysis: a survey of proof assistants and libraries
+Normal rank
@@ Property / cites work @@
+Q5274886
@@ Property / cites work: Q5274886 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068683
@@ Property / cites work: Q4068683 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards computability of elliptic boundary value problems in variational formulation
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-Polish spaces
@@ Property / cites work: Quasi-Polish spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000472
@@ Property / cites work: Q4000472 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed Point Theorems for Multi-Valued Transformations
+Normal rank
@@ Property / cites work @@
+δ as a Continuous Function of x and ɛ
@@ Property / cites work: δ as a Continuous Function of x and ɛ / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive manifestation of the Kleene-Kreisel continuous functionals
+Normal rank
@@ Property / cites work @@
+Call-by-value lambda calculus as a model of computation in Coq
+Normal rank
@@ Property / cites work @@
+A Modular Formalisation of Finite Group Theory
@@ Property / cites work: A Modular Formalisation of Finite Group Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the definitions of computable real continuous functions
+Normal rank
@@ Property / cites work @@
+A Continuous Modulus of Continuity
@@ Property / cites work: A Continuous Modulus of Continuity / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+A new Characterization of Type-2 Feasibility
@@ Property / cites work: A new Characterization of Type-2 Feasibility / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Theory for Operators in Analysis
@@ Property / cites work: Complexity Theory for Operators in Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5344164
@@ Property / cites work: Q5344164 / rank @@
+Normal rank
@@ Property / cites work @@
+Type-two polynomial-time and restricted lookahead
@@ Property / cites work: Type-two polynomial-time and restricted lookahead / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving
+Normal rank
@@ Property / cites work @@
+Second-order linear-time computability with applications to computable analysis
+Normal rank
@@ Property / cites work @@
+Theory of representations
@@ Property / cites work: Theory of representations / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Order Computability
@@ Property / cites work: Higher-Order Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial and abstract subrecursive classes
@@ Property / cites work: Polynomial and abstract subrecursive classes / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Bounds on Real-Valued Functions with Computations
+Normal rank
@@ Property / cites work @@
+The Picard Algorithm for Ordinary Differential Equations in Coq
+Normal rank
@@ Property / cites work @@
+Parametrised second-order complexity theory with applications to the study of interval computation
+Normal rank
@@ Property / cites work @@
+On the topological aspects of the theory of represented spaces
+Normal rank
@@ Property / cites work @@
+Many-one reductions and the category of multivalued functions
+Normal rank
@@ Property / cites work @@
+On a simple definition of computable function of a real variable‐with applications to functions of a complex variable
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing representations for function spaces in computable analysis
+Normal rank
@@ Property / cites work @@
+Relative computability and uniform continuity of relations
+Normal rank
@@ Property / cites work @@
+Q4422786
@@ Property / cites work: Q4422786 / rank @@
+Normal rank
@@ Property / cites work @@
+Extended admissibility.
@@ Property / cites work: Extended admissibility. / rank @@
+Normal rank
@@ Property / cites work @@
+Spaces allowing Type‐2 Complexity Theory revisited
+Normal rank
@@ Property / cites work @@
+A taxonomy of complexity classes of functions
@@ Property / cites work: A taxonomy of complexity classes of functions / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets and degrees
@@ Property / cites work: Recursively enumerable sets and degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Solutions of Symmetric Hyperbolic Systems of PDE's
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Partial combinatory algebras of functions
@@ Property / cites work: Partial combinatory algebras of functions / rank @@
+Normal rank
@@ Property / cites work @@
+Computability on computable metric spaces
@@ Property / cites work: Computability on computable metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank