|
|
Journal Of Formalized Mathematics
– Volume Released Published, Jarosław Kotowicz
|
|
28
|
Linear combinations in real linear space
– Wojciech A. Trybulec
- 1990
|
|
|
Bounded Domains and Unbounded Domains
– Yatsuka Nakamura, Andrzej Trybulec, Czeslaw Bylinski
- 2003
|
|
3
|
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
|
|
10
|
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
|
|
16
|
Associated Matrix of Linear Map
– Robert Milewski
- 2002
|
|
89
|
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
|
|
5
|
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
|
