✦ LIBER ✦

An extension of a procedure to prove statements in differential geometry

✍ Scribed by Giuseppa Carra' Ferro

Publisher: Springer Netherlands
Year: 1994
Tongue: English
Weight: 569 KB
Volume: 12
Category: Article
ISSN: 0168-7433
DOI: 10.1007/bf00885765

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A procedure to prove statements in diffe

A procedure to prove statements in differential geometry

✍ Giuseppa Carrà Ferro; Giovanni Gallo 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 324 KB

An approach to a systematic theorem prov

An approach to a systematic theorem proving procedure in first-order logic

✍ W. Bibel 📂 Article 📅 1974 🏛 Springer Vienna 🌐 English ⚖ 860 KB

An Application of Gesztesy–Simon–Teschl

An Application of Gesztesy–Simon–Teschl Oscillation Theory to a Problem in Differential Geometry

✍ Karl Michael Schmidt 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 104 KB

The approach to oscillation theory developed by Gesztesy, Simon, and Teschl produces a sharp version for the oscillation theorem for singular Sturm-Liouville operators. In the present note, an example from the stability theory of complete minimal surfaces is given in which this refinement plays a de

An Extension of the Chi-Square Procedure

An Extension of the Chi-Square Procedure for Non-NORMAL Statistics, with Application to Solar Neutrino Data

✍ P. A. Sturrock 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 452 KB

An estimate of the Higgs boson mass in t

An estimate of the Higgs boson mass in two loop approximation in a noncommutative differential geometry

✍ Yoshitaka Okumura 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 426 KB

An extension of a theorem of Serrin to g

An extension of a theorem of Serrin to graphs in warped products

✍ Marcos Dajczer; Jaime Ripoll 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 627 KB