RUS  ENG
Full version
JOURNALS // Problemy Upravleniya

Probl. Upr., 2008, Issue 5, Pages 26–30 (Mi pu181)

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  mathnet
  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  elib


© Steklov Math. Inst. of RAS, 2026