The following pages link to Unique solutions (Q3418084):
Displayed 8 items.
- Computability of finite-dimensional linear subspaces and best approximation (Q638485) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Sequences of real functions on [0,1] in constructive reverse mathematics (Q1001912) (← links)
- Continuity and Lipschitz constants for projections (Q1044668) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- Toward a clarity of the extreme value theorem (Q2254563) (← links)
- Weihrauch degrees, omniscience principles and weak computability (Q3083132) (← links)
- Effective Choice and Boundedness Principles in Computable Analysis (Q3083466) (← links)