Auflistung 2024 Nach Schlagwort "Compactness"
Anzeige der Dokumente 1-1 von 1
-
Proof Mining and the Convex Feasibility Problem : the Curious Case of Dykstra's Algorithm
[OWP-2024-06] (Mathematisches Forschungsinstitut Oberwolfach, 2024-07-15)In a recent proof mining application, the proof-theoretical analysis of Dykstra's cyclic projections algorithm resulted in quantitative information expressed via primitive recursive functionals in the sense of Gödel. This ...