𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A constructive development of Chebyshev approximation theory

✍ Scribed by Douglas S Bridges


Publisher
Elsevier Science
Year
1980
Tongue
English
Weight
908 KB
Volume
30
Category
Article
ISSN
0021-9045

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Lazy bases: a minimalist constructive th
✍ HervΓ© Perdry πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 158 KB

## Abstract We give a constructive treatment of the theory of Noetherian rings. We avoid the usual restriction to coherent rings; we can even deal with non‐discrete rings. We introduce the concept of rings with certifiable equality which covers discrete rings and much more. A ring __R__ with certif