Cargando…

On the extraction of computational content from noneffective convergence proofs in analysis

Detalles Bibliográficos
Autor principal:	Safarik, Pavol
Lenguaje:	eng
Publicado:	Logos Verlag 2014
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2698811

Ejemplares similares

Computer aided proofs in analysis
por: Meyer, Kenneth, et al.
Publicado: (1991)

Proofs and Computations
por: Schwichtenberg, Helmut, et al.
Publicado: (2011)

Geometry for Computer Graphics: Formulae, Examples and Proofs
por: Vince, John
Publicado: (2006)

Computer-assisted proof of universality for area-preving maps
por: Eckmann, Jean-Pierre, et al.
Publicado: (1984)

Dynamics of judicial proof: computation, logic, and common sense
por: Kacprzyk, Janusz, et al.
Publicado: (2002)

Transition to analysis with proof
por: Krantz, Steven G
Publicado: (2017)

Writing proofs in analysis
por: Kane, Jonathan M
Publicado: (2016)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2014)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2018)

Proofs from the book
por: Quarteroni, Alfio
Publicado: (2006)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2010)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2003)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2001)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (1998)

Numerical verification methods and computer-assisted proofs for partial differential equations
por: Nakao, Mitsuhiro T, et al.
Publicado: (2019)

The nuts and bolts of proofs: an introduction to mathematical proofs
por: Cupillari, Antonella
Publicado: (2005)

The Proof is in the Pudding: The Changing Nature of Mathematical Proof
por: Krantz, Steven G
Publicado: (2011)

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs
por: Cupillari, Antonella
Publicado: (2011)

Convergence structures and applications to functional analysis
por: Beattie, R, et al.
Publicado: (2002)

Exploring the infinite: an introduction to proof and analysis
por: Kacmarcik, Jennifer, et al.
Publicado: (2016)

Stochastic convergence
por: Lukacs, Eugene, et al.
Publicado: (1975)

Applied proof theory: proof interpretations and their use in mathematics
por: Kohlenbach, Ulrich
Publicado: (2008)

Proof complexity
por: Krajíček, Jan
Publicado: (2019)

Algebra of proofs
por: Szabo, M E, et al.
Publicado: (2016)

Proof patterns
por: Joshi, Mark
Publicado: (2015)

Numbers and proofs
por: Allenby, Reg
Publicado: (1997)

Proof theory
por: Schütte, Kurt
Publicado: (1977)

Gödel's proof
por: Nagel, Ernest, et al.
Publicado: (1959)

Proof theory
por: Jervell, Herman Ruge
Publicado: (2013)

Weak convergence of measures
por: Bogachev, Vladimir I
Publicado: (2018)

Weak convergence of measures
por: Bergström, Harald, et al.
Publicado: (1982)

An introduction to Γ-convergence
por: Maso, Gianni
Publicado: (1993)

Convergence of stochastic processes
por: Pollard, David
Publicado: (1984)

Convergence of probability measures
por: Billingsley, Patrick
Publicado: (1968)

Convergence of probability measures
por: Billingsley, Patrick
Publicado: (1999)

Reverse mathematics: proofs from the inside out
por: Stillwell, John
Publicado: (2018)

Convergence analysis of waveform relaxation methods using pseudospectra
por: Jackiewicz, Z W, et al.
Publicado: (1995)

Understanding mathematical proof
por: Taylor, John, et al.
Publicado: (2014)

Sets, models and proofs
por: Moerdijk, Ieke, et al.
Publicado: (2018)

An introduction to mathematical proofs
por: Loehr, Nicholas A
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_m5tganl77rg6duhfgmovjc9nlu