𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Error-free computation with rational numbers

✍ Scribed by R. T. Gregory

Publisher
Springer Netherlands
Year
1981
Tongue
English
Weight
368 KB
Volume
21
Category
Article
ISSN
0006-3835

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Computation with hypercomplex numbers
Computation with hypercomplex numbers
✍ F. Chaitin-Chatelin; T. MeΕ‘kauskas πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 585 KB
Computation with error injection
Computation with error injection
✍ K.-Y. Fung; Brian D. Goble πŸ“‚ Article πŸ“… 1988 πŸ› Elsevier Science 🌐 English βš– 641 KB
Computational complexity of quantifier-f
Computational complexity of quantifier-free negationless theory of field of rational numbers
✍ Nikolai Kossovski πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 70 KB

The following result is an approximation to the answer of the question of Kokorin (Logical Notebook, Unsolved Problems of Mathematics, Novosibirsk, 1986, 41pp; in Russian) about decidability of a quantiΓΏer-free theory of ΓΏeld of rational numbers. Let Q0 be a subset of the set of all rational numbers