✦ LIBER ✦

Complex sector arithmetic

✍ Scribed by R. Klatte; Ch. Ullrich

Publisher: Springer Vienna
Year: 1980
Tongue: English
Weight: 372 KB
Volume: 24
Category: Article
ISSN: 0010-485X
DOI: 10.1007/bf02281720

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Arithmetic of complex sets

✍ K. Nickel 📂 Article 📅 1980 🏛 Springer Vienna 🌐 English ⚖ 378 KB

Computer arithmetic of complex numbers

✍ V. N. Stepanenko 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 475 KB

Complex Interval Arithmetic Using Polar

Complex Interval Arithmetic Using Polar Form

✍ Yves Candau; Tarek Raissi; Nacim Ramdani; Laurent Ibos 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 256 KB

Generic Complexity of Presburger Arithme

Generic Complexity of Presburger Arithmetic

✍ Alexander N. Rybalov 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 270 KB

-Matrix Arithmetics in Linear Complexity

✍ S. Börm 📂 Article 📅 2005 🏛 Springer Vienna 🌐 English ⚖ 246 KB

Arithmetic complexity of the predicate l

Arithmetic complexity of the predicate logics of certain complete arithmetic theories

✍ Valery Plisko 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 137 KB

It is proved in this paper that the predicate logic of each complete constructive arithmetic theory T having the existential property is T 1 -complete. In this connection, the techniques of a uniform partial truth deÿnition for intuitionistic arithmetic theories is used. The main theorem is applied