The following pages link to (Q3262212):
Displayed 8 items.
- Notes on computable analysis (Q519888) (← links)
- Approximability of operators in constructive metric spaces (Q1147141) (← links)
- Studies in constructive mathematics and mathematical logic. Part IX (Q1307304) (← links)
- Homeomorphisms of function spaces and hereditary cardinal invariants (Q1371939) (← links)
- Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics (Q1807457) (← links)
- The concept of effective method applied to computational problems of linear algebra (Q2546145) (← links)
- Geometric anomaly detection in data (Q5073125) (← links)
- On a finitary version of mathematical analysis (Q5957917) (← links)