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

MaRDI QIDQ4580339FDOQ4580339

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

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

zbMATH Keywords

constructive mathematicsEuclidean spaceextremum

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• A Lipschitz Condition Preserving Extension for a Vector Function
• Strict finitism and the logic of mathematical applications
• A constructive proof of Kirszbraun's theorem

Cited In (2)

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

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)