Basis of Real Linear Space (1990)
Cached
Download Links
- [ftp.cs.ualberta.ca]
- [mizar.org]
- [mizar.uwb.edu.pl]
- DBLP
Other Repositories/Bibliography
by
Wojciech Trybulec
| Citations: | 244 - 21 self |
Document Versions
| Basis of Real Linear Space –Wojciech Trybulec — 1990 |
| Vectors in real linear space –Wojciech A. Trybulec — 1989 — Journal of Formalized Mathematics |
