Евіденціальна парадигма та обробка комп’ютерних математичних знань
Пропонується сучасне бачення програми “Алгоритму очевидності” (Evidence Algorithm, EA), яке ґрунтується на аналізі поточного стану робіт з інтеграції чисе-льних викладок, аналітичних перетворень та автоматизації міркувань. Показано, що це бачення ЕА не тільки відповідає інтеграційним тенденціям, а і...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | Ukrainian |
Published: |
Igor Sikorsky Kyiv Polytechnic Institute
2019-07-01
|
Series: | Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï |
Online Access: | http://journal.iasa.kpi.ua/article/view/172284 |