Концепция банка математических знаний для научных иссле- дований. Ч. 1. Метафора
Клещев А. С.
Additional contact information
Клещев А. С.: Институт автоматики и процессов управления ДВО РАН, г. Владивосток
Проблемы управления, 2008, issue 4, 2-6
Abstract:
На основе расширяемой внутренней модели математической практики и модели аналогии между доказательствами предложена концепция системы компьютерной поддержки научной деятельности в области математики и реализующих ее механизмов. Приведена метафора системы и структура внешней модели математической практики.
Date: 2008
References: Add references at CitEc
Citations:
Downloads: (external link)
http://cyberleninka.ru/article/n/kontseptsiya-bank ... ovaniy-ch-1-metafora
Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.
Export reference: BibTeX
RIS (EndNote, ProCite, RefMan)
HTML/Text
Persistent link: https://EconPapers.repec.org/RePEc:scn:009530:14782958
Access Statistics for this article
More articles in Проблемы управления from CyberLeninka, Общество с ограниченной ответственностью "СенСиДат-Контрол"
Bibliographic data for series maintained by CyberLeninka ().