Gila Hanna, Hans Niels Jahnke, “Proof and application”, Educ Stud Math, 24, no. 4, 1993, 421
Richard A. De Millo, Richard J. Upton, Alan J. Perlis, “Social processes and proofs of theorems and programs”, The Mathematical Intelligencer, 3, no. 1, 1980, 31
Thomas Bauer, Professionsorientierte Fachwissenschaft, 2022, 7
V. A. Kolmykov, “Monoids and decay”, Sib Math J, 48, no. 6, 2007, 998
Sare Şengül, Büşra Kıral, “Matematik Ders Kitaplarında Matematiksel Akıl Yürütme ve İspat”, YED, 37, no. 2, 2023, 508
V. I. Pagurova, D. D. Sokolov, S. S. Marchenko, A. P. Ershov, A. I. Shtern, L. D. Kudryavtsev, M. M. Postnikov, A. I. Orlov, Yu. V. Nesterenko, V. A. Skvortsov, V. T. Filippov, Yu. I. Merzlyakov, A. L. Shmel’kin, S. A. Stepanov, A. V. Chernavskiĭ, V. S. Malakhovskiĭ, B. M. Bredikhin, M. S. Nikulin, V. B. Kudryavtsev, V. I. Sobolev, A. F. Kharshiladze, E. D. Solomentsev, V. T. Bazylev, A. V. Arkhangel’skiĭ, S. G. Kreĭn, A. V. Prokhorov, V. A. Sevast’yanov, A. M. Zubkov, B. A. Sevast’yanov, V. P. Chistyakov, N. P. Korneĭchuk, V. P. Motornyĭ, A. V. Malyshev, V. P. Motornyi, A. N. Shiryadev, R. Z. Khas’minskiĭ, A. N. Shiryaev, M. G. Shur, A. B. Ivanov, S. M. Nikol’skiĭ, L. D. Kantorovich, V. L. Makarov, S. I. Adyan, A. V. Gladkiĭ, A. N. Tikhonov, A. A. Samarskiĭ, A. G. Sveshnikov, V. S. Vladimirov, V. G. Karmanov, A. N. Kolmogorov, Yu. V. Prokhorov, G. Rozenberg, A. Salomaa, V. M. Starzhinskiĭ, M. V. Fedoryuk, S. P. Strunkov, D. A. Suprunenko, E. L. Tonkov, T. A. Germogenova, A. A. Korbut, I. I. Volkov, A. A. Sapozhenko, V. L. Popov, V. V. Rumyantsev, A. L. Onishchik, A. I. Loginov, V. S. Shul’man, V. V. Gorbatsevich, I. O. Sarmanov, D. V. Anosov, V. E. Govorov, L. N. Shevrin, N. N. Vil’yams, N. N. Vorob’ev, V. V. Fedorov, Yu. P. Ivanilov, V. V. Okhrimenko, A. M. Yaglom, I. A. Ibragimov, V. D. Kukin, I. B. Vapnyarskiĭ, L. A. Sidorov, V. V. Sazonov, A. P. Terekhin, R. A. Minlos, A. I. Galochkin, G. M. Vaĭnikko, P. S. Modenov, V. I. Nechaev, Yu. A. Brychkov, A. P. Prudnikov, I. P. Mysovskikh, P. I. Lizorkin, R. L. Dobrushin, V. V. Prelov, B. A. Pasynkov, M. I. Voĭtsekhovskiĭ, B. I. Golubov, V. B. Korotkov, E. M. Chirka, D. A. Ponomarev, A. G. Dragalin, G. I. Marchuk, Yu. E. Alenitsyn, Yu. M. Davydov, L. E. Evtushik, N. S. Bakhvalov, Ü. Lumiste, V. I. Berdyshev, I. Kh. Sabitov, P. L. Ul’yanov, V. G. Sprindzhuk, A. Kaneko, N. Kh. Rozov, V. V. Pospelov, V. A. Chuyanov, Yu. B. Rudyak, Yu. A. Kuznetsov, S. K. Sobolev, E. S. Nikolaev, V. A. Iskovskikh, A. A. Talalyan, A. T. Fomenko, A. S. Kholevo, E. B. Yanovskaya, Yu. V. Rakitskiĭ, E. G. Goluzina, E. G. D’yakonov, Yu. N. Subbotin, V. A. Zalgaller, E. I. Kovalevskaya, V. N. Remeslennikov, A. M. Nakhushev, V. P. Mikhaĭlov, O. A. Ivanova, B. V. Khvedelidze, A. M. Nakushev, Yu. D. Burago, N. I. Klimov, V. V. Afanas’ev, D. M. Smirnov, V. N. Grishin, A. D. Taĭmanov, M. A. Taĭtslin, A. A. Panchishkin, A. N. Parshin, K. A. Zhevlakov, L. A. Skornyakov, L. V. Kuz’min, A. V. Mikhalev, G. V. Kuz’mina, Yu. A. Kaz’min, Encyclopaedia of Mathematics, 1995, 723
Igor’ Kontorovich, Sina Greenwood, “From Collaborative Construction, Through Whole-Class Presentation, to a Posteriori Reflection: Proof Progression in a Topology Classroom”, Int. J. Res. Undergrad. Math. Ed., 2023
S. N. Litsyn, M. A. Tsfasman, “Constructive high-dimensional sphere packings”, Duke Math. J., 54, no. 1, 1987
Eugenio G. Omodeo, Alberto Policriti, 722, Design and Implementation of Symbolic Computation Systems, 1993, 192
M. B. Abbott, J. Larsen, “Modelling circulations in depth-integrated flows Part 2: A reconciliation”, Journal of Hydraulic Research, 23, no. 5, 1985, 397