Inscriere cercetatori

Site nou !

Daca nu va puteti recupera parola (sau aveti alte probleme), scrieti-ne la pagina de contact. Situl vechi se gaseste la adresa old.ad-astra.ro

Facebook

On the computational content of convergence proofs via Banach limits

Domenii publicaţii > Matematica + Tipuri publicaţii > Articol în revistã ştiinţificã

Autori: Ulrich Kohlenbach, Laurentiu Leustean

Editorial: Philosophical Transactions of the Royal Society A, 370, p.3449-3463, 2012.

Rezumat:


Cuvinte cheie: Proof mining, computable analysis, metastability, Banach limits, uniformly smooth Banach spaces, nonlinear ergodic theory

URL: http://imar.ro/~leustean/download/Kohlenbach+Leustean-Turing-issue.pdf