|
|
|
|
References
|
|
| |
| 1. |
“The QED Manifesto”, Automated Deduction, 814 (1994), 238–251, data obrascheniya 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, data obrascheniya 28.06.2010 http://www.cs.ru.nl/~freek/mizar/ |
| 3. |
Vershinin K. P., Lyaletskii A. V., Paskevich A. Yu., Primenenie Sistemy Avtomatizirovannoi Deduktsii dlya verifikatsii matematicheskikh tekstov, data obrascheniya 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, data obrascheniya 28.06.2010 http://mizar.org/trybulec65/8.pdf |
| 5. |
Gribova V. V., Kleschev A. S., Shalfeeva E. A., “Upravlenie intellektualnymi sistemami”, Izv. RAN. Teorii i sistemy upravleniya, 2010, no. 6, 122–137 |
| 6. |
Gavrilova T. L., Kleschev A. S., “Vnutrennyaya model matematicheskoi praktiki dlya sistem avtomatizirovannogo konstruirovaniya dokazatelstv teorem. I. Obschee opisanie modeli”, Problemy upravleniya, 2006, no. 4, 32–35  |
| 7. |
Gavrilova T. L., Kleschev A. S., “Vnutrennyaya model matematicheskoi praktiki dlya sistem avtomatizirovannogo konstruirovaniya dokazatelstv teorem. II. Model matematicheskogo dialekta”, Problemy upravleniya, 2006, no. 5, 68–73 |
| 8. |
Gavrilova T. L., Kleschev A. S., “Vnutrennyaya model matematicheskoi praktiki dlya sistem avtomatizirovannogo konstruirovaniya dokazatelstv teorem. III. Model dokazatelstva”, Problemy upravleniya, 2006, no. 6, 68–71 |
| 9. |
Kleschev A. S., “Kontseptsiya banka matematicheskikh znanii dlya nauchnykh issledovanii. II. Interaktivnoe formirovanie intuitivnykh dokazatelstv”, Problemy upravleniya, 2008, no. 5, 26–30 |
| 10. |
Kleschev A. S., “Kontseptsiya banka matematicheskikh znanii dlya nauchnykh issledovanii. I. Metafora”, Problemy upravleniya, 2008, no. 4, 2–6 |
| 11. |
Kleschev A. S., “Model analogii mezhdu matematicheskimi dokazatelstvami”, Problemy upravleniya, 2007, no. 1, 20–24 |
| 12. |
Asperti A., A Survey on Interactive Theorem Proving, 2009, data obrascheniya 28.06.2010 http://www.cs.unibo.it/~asperti/SLIDES/itp.pdf |
| 13. |
Fikhtengolts G. M., Kurs differentsialnogo i integralnogo ischisleniya, v. 1, Nauka, M., 1969, 608 pp. |
