|
Problemy Upravleniya, 2008, Issue 4, Pages 2–6
(Mi pu164)
|
|
|
|
This article is cited in 2 scientific papers (total in 2 papers)
Mathematical problems of control theory
A concept of a mathematical knowledge bank for scientific research. P. 1. A metaphor
A. S. Kleschev Institute for Automation and Control Processes, Far Eastern Branch of the Russian Academy of Sciences
Abstract:
Basis on an extendable internal model of mathematical practice and of a model for the analogy between proofs, a concept of a computer support system for scientific research in the field of mathematics and its mechanisms is offered. A system metaphor and the structure of an external model of mathematical practice are presented.
Citation:
A. S. Kleschev, “A concept of a mathematical knowledge bank for scientific research. P. 1. A metaphor”, Probl. Upr., 2008, no. 4, 2–6
Linking options:
https://www.mathnet.ru/eng/pu164 https://www.mathnet.ru/eng/pu/v4/p2
|
Statistics & downloads: |
Abstract page: | 219 | Full-text PDF : | 76 | References: | 49 |
|