A concept of a mathematical knowledge bank for scientific research. P. 2. Interactive formation of intuitive proofs
A. S. Kleschev

References
1.	Kleschev A. S., “Kontseptsiya banka matematicheskikh znanii dlya nauchnykh issledovanii. Ch. 1. Metafora”, Problemy upravleniya, 2008, no. 4, 2–6
2.	Kleschev A. S., “Model analogii mezhdu matematicheskimi dokazatelstvami”, Problemy upravleniya, 2007, no. 1, 20–24