Cargando…

Theorems, Corollaries, Lemmas, and Methods of Proof

Detalles Bibliográficos
Autor principal:	Rossi, Richard J
Lenguaje:	eng
Publicado:	Wiley 2006
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/1079887

Ejemplares similares

The Borel-Cantelli Lemma
por: Chandra, Tapas Kumar
Publicado: (2012)

Conditional and preferential logics: proof methods and theorem proving
por: Pozzato, GL
Publicado: (2010)

Complex proofs of real theorems
por: Lax, Peter D, et al.
Publicado: (2011)

Multiple disjunction lemma for smooth concordance embeddings
por: Goodwillie, Thomas G
Publicado: (1990)

Fundamental lemma of the Shalika subgroup of GL(4)
por: Friedberg, Solomon, et al.
Publicado: (1996)

A simple proof of the Banach-Stone theorem
por: Botelho, L C L
Publicado: (1999)

An algebraic proof of a cancellation theorem for surfaces
por: Crachiola, A, et al.
Publicado: (2005)

Proofs of the Cantor-Bernstein theorem: a mathematical excursion
por: Hinkis, Arie
Publicado: (2013)

The $C^{r}$ connecting lemma on the 2-dimensional orientable manifolds
por: Xi, D Z
Publicado: (1999)

On Deodhar's Lemma and a parabolic symmetry of finite Coxeter groups
por: Hohlweg, C, et al.
Publicado: (2002)

The four-color theorem: history, topological foundations, and idea of proof
por: Fritsch, Rudolf, et al.
Publicado: (1998)

A direct proof of Davis' non-immersion theorem and a generalization
por: González, J
Publicado: (2000)

On central critical values of the degree four L-functions for GSp(4): the fundamental lemma
por: Furusawa, Masaaki, et al.
Publicado: (2003)

Average-case complexity distributions: a generalization of the Wozniakowski lemma for multidimensional numerical integration
por: Kleiss, R H
Publicado: (1992)

On central critical values of the degree four l-functions for GSp(4): the fundamental lemma III
por: Furusawa, Masaaki, et al.
Publicado: (2013)

The Ricci flow in Riemannian geometry: a complete proof of the differentiable 14-pinching sphere theorem
por: Andrews, Ben, et al.
Publicado: (2011)

The index theorem and the heat equation method
por: Yanlin, Yu
Publicado: (2005)

Multiplicity-one theorem in the orbit method
por: Kobayashi, T, et al.
Publicado: (2002)

Transplantation theorems and multiplier theorems for Jacobi series
por: Muckenhoupt, Benjamin
Publicado: (1986)

Learning-assisted theorem proving with millions of lemmas()
por: Kaliszyk, Cezary, et al.
Publicado: (2015)

Approximation theorems in commutative algebra: classical and categorical methods
por: Alajbegović, J, et al.
Publicado: (1992)

Minimax theorems
por: Willem, Michel
Publicado: (1996)

Ergodic theorems
por: Krengel, Ulrich, et al.
Publicado: (1985)

The spectral theorem
por: Helson, Henry
Publicado: (1986)

Uniqueness theorems for variational problems by the method of transformation groups
por: Reichel, Wolfgang
Publicado: (2004)

The Atiyah-Patodi-Singer index theorem
por: Melrose, Richard
Publicado: (1993)

Symbolic logic and mechanical theorem proving
por: Chang Chin Liang, et al.
Publicado: (1973)

Symbolic logic and mechanical theorem proving
por: Chang, Chin-Liang, et al.
Publicado: (1969)

Gap and density theorems
por: Levinson, N
Publicado: (1940)

Problems and theorems in analysis
por: Pólya, George, et al.
Publicado: (1972)

Fixed point theorems
por: Smart, D R
Publicado: (1974)

Problems and theorems in analysis
por: Polya, George, et al.
Publicado: (1972)

Map color theorem
por: Ringel, Gerhard
Publicado: (1974)

The fundamental theorem of algebra
por: Fine, Benjamin, et al.
Publicado: (1997)

An inhomogeneous Jarnìk theorem
por: Bugeaud, Y
Publicado: (2002)

Index theorem. 1
por: Furuta, Mikio
Publicado: (2007)

Tauberian remainder theorems
por: Ganelius, Tord H
Publicado: (1971)

On global univalence theorems
por: Parthasarathy, T
Publicado: (1983)

Selection theorems and their applications
por: Parthasarathy, T
Publicado: (1972)

The cosπλ theorem
por: Essén, Matts R
Publicado: (1975)

Cannot write session to /tmp/vufind_sessions/sess_1crjcv9akjjcenqoc0rkiec16i