✦ LIBER ✦

The interpretation of a theorem by Lebowitz

✍ Scribed by Robert H. Swendsen

Publisher: Springer
Year: 1973
Tongue: English
Weight: 92 KB
Volume: 8
Category: Article
ISSN: 0022-4715
DOI: 10.1007/bf01012573

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mathematical interpretation of the fan t

Mathematical interpretation of the fan theorem

✍ V. A. Lifshits 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 362 KB

Homological interpretation of a theorem

Homological interpretation of a theorem of L. Washington

✍ Hae-Sang Sun 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 203 KB

General form and a new interpretation of

General form and a new interpretation of the Ewald-Oseen extinction theorem

✍ D.N. Pattanayak; E. Wolf 📂 Article 📅 1972 🏛 Elsevier Science 🌐 English ⚖ 242 KB

Using Theory Interpretation to Mechanise

Using Theory Interpretation to Mechanise the Reals in a Theorem Prover

✍ Jamie Shield; Ian Hayes; David Carrington 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 165 KB

The mechanisation of the real numbers within theorem provers is of practical benefit for the verification of real-time systems. The real numbers provide a foundation within the theorem prover for classical mathematical analysis such as differentiation and integration. The approach we have taken make

An electrostatic interpretation of the w

An electrostatic interpretation of the weighted flow theorem of electromagnetic flowmeters

✍ D. M. Davidović; B. A. Aničin; V. M. Babović 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 578 KB

The use of Koopmans' Theorem in the inte

The use of Koopmans' Theorem in the interpretation of photoelectron spectra

✍ W.G. Richards 📂 Article 📅 1969 🏛 Elsevier Science ⚖ 439 KB