𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the number of crossings in the spectrum of a hermitian matrix which depends on a real parameter

✍ Scribed by T.P. Valkering


Publisher
Elsevier Science
Year
1971
Weight
437 KB
Volume
53
Category
Article
ISSN
0031-8914

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A note on the axiomatisation of real num
✍ Thierry Coquand; L. Henri Lombardi πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 86 KB πŸ‘ 2 views

## Abstract Is it possible to give an abstract characterisation of constructive real numbers? A condition should be that all axioms are valid for Dedekind reals in any topos, or for constructive reals in Bishop mathematics. We present here a possible first‐order axiomatisation of real numbers, whic