“Geometrik isbotlashlarni o‘rgatishda dasturiy vositalardan foydalanishning innovatsion yondashuvlari”, MMT, vol. 3, no. 11, Nov. 2025, doi: 10.5281/zenodo.17774582.