|
|
Publications in Math-Net.Ru |
Citations |
|
2006 |
1. |
T. L. Gavrilova, A. S. Kleschev, “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 |
5
|
2. |
T. L. Gavrilova, A. S. Kleschev, “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 |
6
|
3. |
I. L. Artemieva, T. L. Gavrilova, V. V. Gribova, A. S. Kleschev, M. A. Knyazeva, N. Yu. Nikiforova, V. A. Orlov, M. Yu. Chernyakhovskaya, E. A. Shalfeeva, “An interdisciplinary system for information resources management at various generality levels”, Probl. Upr., 2006, no. 4, 64–68 |
1
|
4. |
T. L. Gavrilova, A. S. Kleschev, “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 |
6
|
|
2005 |
5. |
T. L. Gavrilova, A. S. Kleschev, “The analysis of approaches to mathematical knowledge correctness problem”, Probl. Upr., 2005, no. 3, 13–19 |
3
|
|
Organisations |
|
|
|
|