An internal model of mathematical practice for interactive systems of theorem proof construction. Part 3. A proof model
T. L. Gavrilova, A. S. Kleschev

This publication is cited in the following articles:

1. Kleschev A.S., Timchenko V.A., “Algoritm unifikatsii dlya rasshiryaemoi modeli matematicheskogo dialekta1”, Informatika i sistemy upravleniya, 2012, no. 1, 155–165  
2. A. S. Kleschev, “Operatsionnaya model intuitivnykh dokazatelstv”, Probl. upravl., 1 (2011), 2–7  
3. Kleschev A.S., Timchenko V.A., “Zadacha primeneniya podstanovki dlya rasshiryaemoi modeli matematicheskogo dialekta1”, Informatika i sistemy upravleniya, 2011, no. 3, 80–88  
4. A. C. Kleschev, “Kontseptsiya banka matematicheskikh znanii dlya nauchnykh issledovanii. Ch. 1. Metafora”, Probl. upravl., 4 (2008), 2–6  
5. A. S. Kleschev, “Model analogii mezhdu matematicheskimi dokazatelstvami”, Probl. upravl., 1 (2007), 20–24