Basis of Real Linear Space (1990)

by Wojciech Trybulec
Citations:251 - 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