Basis of Real Linear Space (1990)

by Wojciech Trybulec
Citations:250 - 21 self

Active Bibliography

Journal Of Formalized Mathematics – Volume Released Published, Jarosław Kotowicz
30 Linear combinations in real linear space – Wojciech A. Trybulec - 1990
Bounded Domains and Unbounded Domains – Yatsuka Nakamura, Andrzej Trybulec, Czeslaw Bylinski - 2003
4 Primitive roots of unity and cyclotomic polynomials – Broderic Arneson, Piotr Rudnicki
1 Bioinformatics Technologies – Jing-chao Chen - 2005
6 On ordering of bags – Gilbert Lee, Piotr Rudnicki
14 Standard Ordering of Instruction Locations – Andrzej Trybulec, Piotr Rudnicki, Artur Korniłowicz - 2000
13 Banach space of bounded linear operators – Yasunari Shidama - 2003
A Mathematical Model of CPU – Yatsuka Nakamura, Andrzej Trybulec - 1992
5 Definition of convex function and Jensen’s inequality – Grigory E. Ivanov
17 Associated Matrix of Linear Map – Robert Milewski - 2002
90 Combining of Circuits – Yatsuka Nakamura, Grzegorz Bancerek - 2002
4 Preliminaries to the Lambek Calculus – Wojciech Zielonka - 1991
4 Hahn-Banach Theorem – Bogdan Nowak, Andrzej Trybulec - 1993
3 Inverse Limits of Many Sorted Algebras – Adam Grabowski - 1999
6 The rank+nullity theorem – Jesse Alama
1 The Steinitz Theorem and the Dimension of a Real Linear Space – Jing-chao Chen
1. THE BANACH SPACE OF BOUNDED REAL SEQUENCES – unknown authors
2 Lattice of Substitutions – Adam Grabowski