Gavrilova Tat'yana Leonidovna

Publications in Math-Net.Ru

1. An internal model of mathematical practice for interactive systems of theorem proof construction. Part 3. A proof model
   
   Probl. Upr., 2006, no. 6,  68–71
2. An internal model of mathematical practice for interactive systems of theorem proof construction. Part 2. A mathematical dialect model
   
   Probl. Upr., 2006, no. 5,  68–73
3. An interdisciplinary system for information resources management at various generality levels
   
   Probl. Upr., 2006, no. 4,  64–68
4. An internal model of mathematical practice for interactive systems of theorem proof construction. Part 1. General model description
   
   Probl. Upr., 2006, no. 4,  32–35
5. The analysis of approaches to mathematical knowledge correctness problem
   
   Probl. Upr., 2005, no. 3,  13–19