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

This publication is cited in the following articles:

1. A. S. Kleschev, “Operatsionnaya model intuitivnykh dokazatelstv”, Probl. upravl., 1 (2011), 2–7  
2. V. V. Gribova, A. S. Kleschev, E. A. Shalfeeva, “Upravlenie programmnymi sredstvami v intellektualnykh sistemakh”, Izv. RAN. Teoriya i sistemy upravleniya, 2010, no. 6, 122–137