Аналіз можливості використання сучасних пакетів комп’ютерної алгебри під час синтезу криптопримітивів: Fìz.-mat. model. ìnf. tehnol. 2021, 33:128-132
The paper deals with systems of computer algebra - software for symbolic calculations, which allows to conduct the entire cycle of development of a mathematical model. The paper presents the results of the analysis of systems of computer algebra with specialized purpose Magma, evaluation of the poss...
Saved in:
| Date: | 2021 |
|---|---|
| Main Authors: | Ponomar, Volodymyr, Onoprienko, Viktor |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України
2021
|
| Subjects: | |
| Online Access: | https://www.fmmit.lviv.ua/index.php/fmmit/article/view/215 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Physico-mathematical modeling and informational technologies |
Institution
Physico-mathematical modeling and informational technologiesSimilar Items
Алгоритм класифікації інтегрованості нелінійних динамічних систем методами комп’ютерної алгебри: Fìz.-mat. model. ìnf. tehnol. 2021, 32:7-12
by: Fil, Bohdan, et al.
Published: (2021)
by: Fil, Bohdan, et al.
Published: (2021)
Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу
by: Давидов, О.П.
Published: (2015)
by: Давидов, О.П.
Published: (2015)
Деякі аспекти градієнтно-голономного алгоритму в теорії інтегрованості нелінійних динамічних систем та проблеми комп'ютерної алгебри
by: Митропольський, Ю.О., et al.
Published: (1991)
by: Митропольський, Ю.О., et al.
Published: (1991)
Відкрита книга комп’ютерної графіки
by: Федорук, О.
Published: (2006)
by: Федорук, О.
Published: (2006)
Розширення університетського простору в Києві (до історії перших приміщень університету св. Володимира)
by: Самчук, Т.
Published: (2017)
by: Самчук, Т.
Published: (2017)
Математичні методи рентгенівської комп’ютерної томографії
by: Тулякова, Н.О., et al.
Published: (2019)
by: Тулякова, Н.О., et al.
Published: (2019)
Сучасний стан української комп’ютерної лінгвістики
by: Балог, В.
Published: (2005)
by: Балог, В.
Published: (2005)
Технології масового розповсюдження комп’ютерної інформації
by: Кожешкурт, В.І., et al.
Published: (2010)
by: Кожешкурт, В.І., et al.
Published: (2010)
Лексико-семантична парадигматика комп’ютерної термінолексики
by: Махачашвілі, Р.К.
Published: (2006)
by: Махачашвілі, Р.К.
Published: (2006)
СКІНЧЕННО-ЕЛЕМЕНТНЕ МОДЕЛЮВАННЯ НАПРУЖЕНО-ДЕФОРМОВАНОГО СТАНУ ЕЛЕМЕНТІВ КУЛЬШОВОГО СУГЛОБА В ЕКСПЛУАТАЦІЇ НА ОСНОВІ ДАНИХ КОМП’ЮТЕРНОЇ ТОМОГРАФІЇ
by: HOROBETS, D. V., et al.
Published: (2026)
by: HOROBETS, D. V., et al.
Published: (2026)
Від наукового результату до комп’ютерної технології
by: Задірака, В.К., et al.
Published: (2008)
by: Задірака, В.К., et al.
Published: (2008)
Від наукового результату до комп’ютерної технології
by: Zadiraka, V. K., et al.
Published: (2017)
by: Zadiraka, V. K., et al.
Published: (2017)
"Для культури в напрямку гігієни”: громадське здоров’я та "виставковий комплекс” у Львові наприкінці ХІХ – на початку ХХ ст.
by: Трач, В.
Published: (2019)
by: Трач, В.
Published: (2019)
Проблеми комп’ютерної лексикографії у галузі інформаційної діяльності
by: Шульгіна, В.
Published: (2006)
by: Шульгіна, В.
Published: (2006)
З історії відділу лексикології та комп’ютерної лексикографії
by: Самойлова, І.
Published: (2004)
by: Самойлова, І.
Published: (2004)
Оптимізація планування розподілу завдань і транспортування пакетів даних у розподіленій обчислювальній мережі
by: Krasniuk, Roman P., et al.
Published: (2016)
by: Krasniuk, Roman P., et al.
Published: (2016)
Програмна система для моделювання ієрархічної комп'ютерної пам'яті
by: Михайлова, Т.В.
Published: (2010)
by: Михайлова, Т.В.
Published: (2010)
Внесок ІПРІ НАН України в розвиток комп’ютерної томографії
by: Горбулін, В.П., et al.
Published: (2010)
by: Горбулін, В.П., et al.
Published: (2010)
Мінімізація дозового навантаження в алгоритмах рентгенівської комп’ютерної томографії
by: Bulavin, L. A., et al.
Published: (2019)
by: Bulavin, L. A., et al.
Published: (2019)
СТВОРЕННЯ КОМП'ЮТЕРНОЇ МОДЕЛІ ДЛЯ СИСТЕМИ ДІАГНОСТУВАННЯ ДИЗЕЛЬ-ГЕНЕРАТОРА
by: Fedorchuk, Vladimir Anatolievich, et al.
Published: (2013)
by: Fedorchuk, Vladimir Anatolievich, et al.
Published: (2013)
Роль комплексної мультидетекторної комп’ютерної томографії у стадіюванні раку гортані
by: Дикан, І.М., et al.
Published: (2013)
by: Дикан, І.М., et al.
Published: (2013)
Використання інформаційних технологій в розв’язанні задач комп’ютерної лінгвістики
by: Ходякова, Г.В.
Published: (2020)
by: Ходякова, Г.В.
Published: (2020)
Математична модель кібербезпеки комп’ютерної мережі керування електропостачанням тягових підстанцій
by: Стасюк, О.І., et al.
Published: (2017)
by: Стасюк, О.І., et al.
Published: (2017)
Задача розроблення комп’ютерної технології моделювання термічних процесів ливарного виробництва
by: Токова, О.В.
Published: (2018)
by: Токова, О.В.
Published: (2018)
ЄДНІСТЬ ТА ВІДМІННОСТІ РІЗНОВИДІВ НЕСПОТВОРЮЮЧОГО ПРОЦЕСУ ЦІЛЕСПРЯМОВАНОЇ ЗМІНИ ВЕЛИЧИНИ НАПРУГИ ЕЛЕКТРИЧНОГО СТРУМУ
by: Липківський, К.О., et al.
Published: (2014)
by: Липківський, К.О., et al.
Published: (2014)
ПРОГРАМИ ДЛЯ КОМП'ЮТЕРНОЇ РЕАЛІЗАЦІЇ МОРФОЛОГІЧНОЇ І СИНТАКСИЧНОЇ МОДЕЛІ ГРУЗИНСЬКИХ ТЕКСТІВ
by: Antidze, J., et al.
Published: (2013)
by: Antidze, J., et al.
Published: (2013)
Модульні операції над гіперкомплексними числами в системі комп’ютерної математики MAPLE
by: Синьков, М.В., et al.
Published: (2005)
by: Синьков, М.В., et al.
Published: (2005)
Особливості лімфогенного метастазування раку глотки за даними мультидетекторної комп’ютерної томографії
by: Козаренко, Т.М., et al.
Published: (2015)
by: Козаренко, Т.М., et al.
Published: (2015)
Огляд методу перфузійної комп’ютерної томографії та його застосування в онкології
by: Алхімова, С.М., et al.
Published: (2011)
by: Алхімова, С.М., et al.
Published: (2011)
Лексична модель „стандарт – субстандарт – нонстандарт” у системі сучасної комп’ютерної субмови
by: Бондарчук, Л.
Published: (2007)
by: Бондарчук, Л.
Published: (2007)
Огляд методу перфузійної комп’ютерної томографії та його застосування в онкології
by: Alkhimova, S. M., et al.
Published: (2017)
by: Alkhimova, S. M., et al.
Published: (2017)
Розв'язання тривимірної задачі комп'ютерної томографії з використанням невеликої кількості томограм
by: Литвин, О.М., et al.
Published: (2011)
by: Литвин, О.М., et al.
Published: (2011)
Математичні моделі комп’ютерної інтелектуалізації технологій синхронних векторних вимірювань параметрів електричних мереж
by: Стасюк, О.І., et al.
Published: (2016)
by: Стасюк, О.І., et al.
Published: (2016)
Концепція інтелектуальної комп’ютерної навчальної системи для підготовки українських школярів до НМТ
by: Kulik, Anatoliy, et al.
Published: (2025)
by: Kulik, Anatoliy, et al.
Published: (2025)
Операторне числення Вейля в узагальнених алгебрах Пелі–Вінера
by: Lozynska, V. Ya.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Published: (2024)
by: Lozynska, V. Ya.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Published: (2024)
УДОСКОНАЛЕННЯ КОМП'ЮТЕРНОЇ ІМІТАЦІЙНОЇ МОДЕЛІ ЧАСТОТНО-РЕГУЛОВАНОГО АСИНХРОННОГО ДВИГУНА В ПАКЕТІ ПРОГРАМ MATLAB
by: Волков, В.О.
Published: (2026)
by: Волков, В.О.
Published: (2026)
Емпірична подоба дійсності та комп’ютерної реальності (комп’ютерне відмежовування від “мирського” життя)
by: Початко, С., et al.
Published: (2012)
by: Початко, С., et al.
Published: (2012)
Проектування та розробка комп’ютерної системи прогнозу техногенних навантажень на приземний шар атмосфери
by: Яцишин, А.В., et al.
Published: (2010)
by: Яцишин, А.В., et al.
Published: (2010)
Емпірична подоба дійсності та комп'ютерної реальності (комп'ютерне відмежовування від "мирського" життя)
by: Початко, С., et al.
Published: (2011)
by: Початко, С., et al.
Published: (2011)
Розробка основних компонентів інтелектуальної комп'ютерної системи для прогнозу формування внутрішньої дози опромінення
by: Яцишин, А.В.
Published: (2009)
by: Яцишин, А.В.
Published: (2009)
Similar Items
-
Алгоритм класифікації інтегрованості нелінійних динамічних систем методами комп’ютерної алгебри: Fìz.-mat. model. ìnf. tehnol. 2021, 32:7-12
by: Fil, Bohdan, et al.
Published: (2021) -
Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу
by: Давидов, О.П.
Published: (2015) -
Деякі аспекти градієнтно-голономного алгоритму в теорії інтегрованості нелінійних динамічних систем та проблеми комп'ютерної алгебри
by: Митропольський, Ю.О., et al.
Published: (1991) -
Відкрита книга комп’ютерної графіки
by: Федорук, О.
Published: (2006) -
Розширення університетського простору в Києві (до історії перших приміщень університету св. Володимира)
by: Самчук, Т.
Published: (2017)