scientific article
From MaRDI portal
Publication:4002004
zbMATH Open0744.03056MaRDI QIDQ4002004FDOQ4002004
Publication date: 18 September 1992
Title of this publication is not available (Why is that?)
Cited In (10)
- Pointwise hereditary majorization and some applications
- Primitive recursive reverse mathematics
- A note on the monotone functional interpretation
- Functional interpretation of Aczel's constructive set theory
- An abstract proximal point algorithm
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
- Revisiting jointly firmly nonexpansive families of mappings
- New effective moduli of uniqueness and uniform a priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory
- Bounds on strong unicity for Chebyshev approximation with bounded coefficients
- Some logical metatheorems with applications in functional analysis
Recommendations
- New effective moduli of uniqueness and uniform a priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory 👍 👎
- Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization 👍 👎
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation 👍 👎
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4002004)