|
|
|
|
ЛИТЕРАТУРА
|
|
| |
| 1. |
“The QED Manifesto”, Automated Deduction, 814 (1994), 238–251, дата обращения 28.06.2010 http://www.cs.ru.nl/~freek/qed/qed.html |
| 2. |
Muzalewski Ml., An Outline of PC Mizar, Fondation Philippe le Hodey, Brussels, 1993, дата обращения 28.06.2010 http://www.cs.ru.nl/~freek/mizar/ |
| 3. |
Вершинин К. П., Лялецкий А. В., Паскевич А. Ю., Применение Системы Автоматизированной Дедукции для верификации математических текстов, дата обращения 28.06.2010 http://tertium.org/papers/ii-03.ru.pdf |
| 4. |
Freek W., “The QED Manifesto Revisited”, Studies in Logic, Grammar and Rhetoric, 10 (2007), 121–133, дата обращения 28.06.2010 http://mizar.org/trybulec65/8.pdf |
| 5. |
Грибова В. В., Клещев А. С., Шалфеева Е. А., “Управление интеллектуальными системами”, Изв. РАН. Теории и системы управления, 2010, № 6, 122–137 |
| 6. |
Гаврилова Т. Л., Клещев А. С., “Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. I. Общее описание модели”, Проблемы управления, 2006, № 4, 32–35  |
| 7. |
Гаврилова Т. Л., Клещев А. С., “Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. II. Модель математического диалекта”, Проблемы управления, 2006, № 5, 68–73 |
| 8. |
Гаврилова Т. Л., Клещев А. С., “Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. III. Модель доказательства”, Проблемы управления, 2006, № 6, 68–71 |
| 9. |
Клещев А. С., “Концепция банка математических знаний для научных исследований. II. Интерактивное формирование интуитивных доказательств”, Проблемы управления, 2008, № 5, 26–30 |
| 10. |
Клещев А. С., “Концепция банка математических знаний для научных исследований. I. Метафора”, Проблемы управления, 2008, № 4, 2–6 |
| 11. |
Клещев А. С., “Модель аналогии между математическими доказательствами”, Проблемы управления, 2007, № 1, 20–24 |
| 12. |
Asperti A., A Survey on Interactive Theorem Proving, 2009, дата обращения 28.06.2010 http://www.cs.unibo.it/~asperti/SLIDES/itp.pdf |
| 13. |
Фихтенгольц Г. М., Курс дифференциального и интегрального исчисления, т. 1, Наука, М., 1969, 608 с. |
