Constructing local optima on a compact interval

DOI10.1007/S00153-006-0032-0MaRDI QIDQ868665zbMATH OpenOpenAlexFDO

Authors Douglas Bridges

Publication date 6 March 2007

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-006-0032-0

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Recommendations

• The fan theorem and unique existence of maxima
• Convexity and unique minimum points
• Sequential, pointwise, and uniform continuity: A constructive note
• Functions with preassigned local maximum points
• Constructive continuity

Cites work

• scientific article; zbMATH DE number 3871350 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 1795227 (Why is no real title available?)
• Brouwer's fan theorem and unique existence in constructive analysis
• Constructive set theory
• Constructivism in mathematics. An introduction. Volume II
• Continuity and nondiscontinuity in constructive mathematics
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• Techniques of constructive analysis
• The fan theorem and unique existence of maxima

This page was built for publication: Constructing local optima on a compact interval

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q868665)