CONSTRUCTIVE PROOF OF FIXED-POINT THEOREM FOR COMPLETE T-LATTICE

Autor:	Bouzkoura Khadija, Benkaddour Said
Rok vydání:	2017
Předmět:	Discrete mathematics Combinatorics Computer-assisted proof Constructive proof Picard–Lindelöf theorem König's lemma Proof of impossibility Fixed-point theorem Brouwer fixed-point theorem Analytic proof Mathematics
Zdroj:	JP Journal of Fixed Point Theory and Applications. 12:37-46
ISSN:	0973-4228
DOI:	10.17654/fp012010037
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::a452cac095bc167a6283f49e00198eba https://doi.org/10.17654/fp012010037 Zobrazit plný text záznamu