A constructive version of the extremum value theorem for spaces of vector-valued functions

MaRDI QIDQ4580339zbMATH OpenFDO

Authors Pavel Osinenko, Stefan Streif

Publication date 15 August 2018

Full work available at URL http://logicandanalysis.org/index.php/jla/article/download/286/129

zbMATH Keywords

constructive mathematicsEuclidean spaceextremum

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Elementary problems in Euclidean geometries (51M04)

Recommendations

• Suprema in ordered vector spaces: a constructive approach
• Analysis of extremum value theorems for function spaces in optimal control under numerical uncertainty
• scientific article; zbMATH DE number 1665445
• Fixed point theorems in constructive mathematics
• A General Constructive Intermediate Value Theorem

Cites work

• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• A Lipschitz Condition Preserving Extension for a Vector Function
• A constructive proof of Kirszbraun's theorem
• Strict finitism and the logic of mathematical applications

Cited in

(2)

• Suprema in ordered vector spaces: a constructive approach
• Analysis of extremum value theorems for function spaces in optimal control under numerical uncertainty

This page was built for publication: A constructive version of the extremum value theorem for spaces of vector-valued functions

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