Journal: Formalized Mathematics

Volume 24, Issue 2

95 -- 106Grzegorz Bancerek. On Multiset Ordering
107 -- 119Roland Coghetto. Cousin's Lemma
121 -- 141Roland Coghetto. Chebyshev Distance
143 -- 155Adam Grabowski. Binary Relations-based Rough Sets - an Automated Approach
157 -- 166Roland Coghetto, Adam Grabowski. Tarski Geometry Axioms - Part II