Wlodzimierz Wojas, Jan Krupa, Jaroslaw Bojarski. Familiarizing Students with Definition of Lebesgue Outer Measure Using Mathematica: Some Examples of Calculation Directly from Its Definition. Mathematics in Computer Science, 14(2):253-270, 2020. [doi]
Abstract is missing.