Rough Set Theory from a Math-Assistant Perspective. - Adam Grabowski; Magdalena Jastrzebska (RSEISP, 2007)

On the Lattice of Intervals and Rough Sets. - Adam Grabowski; Magdalena Jastrzebska (Formaliz. Math., 2009)

A Note on a Formal Approach to Rough Operators. - Adam Grabowski; Magdalena Jastrzebska (RSCTC, 2010)

Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling. - Magdalena Jastrzebska (Formaliz. Math., 2010)