[[1] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1): 55–65, 1990.]Search in Google Scholar
[[2] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990.]Search in Google Scholar
[[3] Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47–53, 1990.]Search in Google Scholar
[[4] Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165–167, 1990.]Search in Google Scholar
[[5] Adam Grabowski. On the computer-assisted reasoning about rough sets. In B. Dunin-Kȩplicz, A. Jankowski, A. Skowron, and M. Szczuka, editors, International Workshop on Monitoring, Security, and Rescue Techniques in Multiagent Systems Location, volume 28 of Advances in Soft Computing, pages 215–226, Berlin, Heidelberg, 2005. Springer-Verlag. doi:10.1007/3-540-32370-8_15.10.1007/3-540-32370-8_15]Search in Google Scholar
[[6] Adam Grabowski. Efficient rough set theory merging. Fundamenta Informaticae, 135(4): 371–385, 2014. doi:10.3233/FI-2014-1129.10.3233/FI-2014-1129]Search in Google Scholar
[[7] Adam Grabowski. Mechanizing complemented lattices within Mizar system. Journal of Automated Reasoning, 55:211–221, 2015. doi:10.1007/s10817-015-9333-5.10.1007/s10817-015-9333-5]Search in Google Scholar
[[8] Adam Grabowski. Relational formal characterization of rough sets. Formalized Mathematics, 21(1):55–64, 2013. doi:10.2478/forma-2013-0006.10.2478/forma-2013-0006]Search in Google Scholar
[[9] Adam Grabowski and Magdalena Jastrzębska. A note on a formal approach to rough operators. In Marcin S. Szczuka and Marzena Kryszkiewicz et al., editors, Rough Sets and Current Trends in Computing – 7th International Conference, RSCTC 2010, Warsaw, Poland, June 28-30, 2010. Proceedings, volume 6086 of Lecture Notes in Computer Science, pages 307–316. Springer, 2010. doi:10.1007/978-3-642-13529-3_33.10.1007/978-3-642-13529-3_33]Search in Google Scholar
[[10] Adam Grabowski and Magdalena Jastrzębska. Rough set theory from a math-assistant perspective. In Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, June 28–30, 2007, Proceedings, pages 152–161, 2007. doi:10.1007/978-3-540-73451-2_17.10.1007/978-3-540-73451-2_17]Search in Google Scholar
[[11] Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.10.1007/s10817-015-9345-1]Search in Google Scholar
[[12] Zdzisław Pawlak. Rough sets. International Journal of Parallel Programming, 11:341–356, 1982. doi:10.1007/BF01001956.10.1007/BF01001956]Search in Google Scholar
[[13] Krzysztof Retel. Properties of first and second order cutting of binary relations. Formalized Mathematics, 13(3):361–365, 2005.]Search in Google Scholar
[[14] Andrzej Trybulec and Agata Darmochwał. Boolean domains. Formalized Mathematics, 1 (1):187–190, 1990.]Search in Google Scholar
[[15] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.]Search in Google Scholar
[[16] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73–83, 1990.]Search in Google Scholar
[[17] Y.Y. Yao. Two views of the theory of rough sets in finite universes. International Journal of Approximate Reasoning, 15(4):291–317, 1996. doi:10.1016/S0888-613X(96)00071-0.10.1016/S0888-613X(96)00071-0]Search in Google Scholar
[[18] William Zhu. Generalized rough sets based on relations. Information Sciences, 177: 4997–5011, 2007.10.1016/j.ins.2007.05.037]Search in Google Scholar