✦ LIBER ✦

Fixed points in Peano arithmetic with ordinals

✍ Scribed by Gerhard Jäger

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 842 KB
Volume: 60
Category: Article
ISSN: 0168-0072
DOI: 10.1016/0168-0072(93)90039-g

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Numerical accuracy control in fixed-poin

Numerical accuracy control in fixed-point arithmetic

✍ Long Ton-That 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 516 KB

The purpose of this paper is to look at the problem of propagation of round-off errors in fixed-point arithmetic and at various problems of checking solutions of equations already treated by La Porte and Vignes in the case of floating-point arithmetic. We first consider the probabilistic model for t

Design of two-dimensional scaled state s

Design of two-dimensional scaled state space filters with fixed point arithmetic

✍ M. F. Fahmy; M. Abo-Zahhad; G. A. El-Raheem 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 447 KB

Performance degradation in digitally imp

Performance degradation in digitally implemented optimal regulators using fixed-point arithmetic

✍ Anekal B. Sripad 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 424 KB

Optimal control in Banach space with fix

Optimal control in Banach space with fixed end-points

✍ Avner Friedman 📂 Article 📅 1968 🏛 Elsevier Science 🌐 English ⚖ 962 KB

Fixed point techniques in a cone with ap

Fixed point techniques in a cone with applications

✍ J.A Gatica; Hal L Smith 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 585 KB

Two convergence principles with applicat

Two convergence principles with applications to fixed points in metric spaces

✍ Solomon Leader 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 495 KB