𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Kantorovich's Theorem on Newton's Method in Riemannian Manifolds

✍ Scribed by O.P. Ferreira; B.F. Svaiter

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
164 KB
Volume
18
Category
Article
ISSN
0885-064X

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Gradient Estimates for Harmonic Function
Gradient Estimates for Harmonic Functions on Regular Domains in Riemannian Manifolds
✍ Anton Thalmaier; Feng-Yu Wang πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 247 KB

Derivative formulae for heat semigroups are used to give gradient estimates for harmonic functions on regular domains in Riemannian manifolds. This probabilistic method provides an alternative to coupling techniques, as introduced by Cranston, and allows us to improve some known estimates. We discus

Potential Theory on Lipschitz Domains in
Potential Theory on Lipschitz Domains in Riemannian Manifolds: Sobolev–Besov Space Results and the Poisson Problem
✍ Marius Mitrea; Michael Taylor πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 450 KB

We continue a program to develop layer potential techniques for PDE on Lipschitz domains in Riemannian manifolds. Building on L p and Hardy space estimates established in previous papers, here we establish Sobolev and Besov space estimates on solutions to the Dirichlet and Neumann problems for the L

On the Reconstruction of Proofs in Distr
On the Reconstruction of Proofs in Distributed Theorem Proving: a Modified Clause-Diffusion Method
✍ MARIA PAOLA BONACINA πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 541 KB

Proof reconstruction is the operation of extracting the computed proof from the trace of a theorem-proving run. We study the problem of proof reconstruction in distributed theorem proving: because of the distributed nature of the derivation and especially because of deletions of clauses by contracti