{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:45:21Z","timestamp":1730299521746,"version":"3.28.0"},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/stc-csit.2017.8098733","type":"proceedings-article","created":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T21:50:03Z","timestamp":1510264203000},"page":"44-47","source":"Crossref","is-referenced-by-count":0,"title":["Research methodology of mathematical support of computing machines and systems"],"prefix":"10.1109","author":[{"given":"Volodymyr","family":"Ovsyak","sequence":"first","affiliation":[]},{"given":"Oleksandr","family":"Ovsyak","sequence":"additional","affiliation":[]},{"given":"Dmytro","family":"Bui","sequence":"additional","affiliation":[]},{"given":"Julia","family":"Petruszka","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"27","article-title":"Modificirovannaja algebra algoritmov i instrumental'nye sredstva obrabotki formul algebry algoritmov","author":"ovsjak","year":"2013","journal-title":"Upravljajushhie sistemy i mashiny"},{"key":"ref3","first-page":"83","article-title":"Zasoby ekvivalentnykh peretvoren’ alhorytmiv informatsiyno-tekhnolohichnykh system","volume":"9","author":"ovsyak","year":"1996","journal-title":"Dopovidi Natsional'noyi akademiyi nauk Ukrayiny"},{"key":"ref6","first-page":"564","article-title":"Matematicheskaja indukcija. Matematicheskaja jenciklopedija","year":"1977","journal-title":"V pjati tomah Glavnyj redaktor I M Vinogradov Tom 3 - Moscow “Sovetskaja jenciklopedija"},{"key":"ref5","first-page":"103","article-title":"Alghebra alghorytmiv z baghatoznachnym eliminuvannjam","author":"ovsjak","year":"2012","journal-title":"Naukovi zapysky [Ukrajinsjkoji akademiji drukarstva]"},{"key":"ref2","first-page":"8","article-title":"Algebraicheskaja algoritmika: teorija i primenenija","author":"cejtlin","year":"2003","journal-title":"Kibernetika i Sistemny? Analiz"},{"key":"ref1","volume":"328","author":"glushkov","year":"1974","journal-title":"Naukova Dumka"}],"event":{"name":"2017 12th International Scientific and Technical Conference on Computer Sciences and Information Technologies (CSIT)","start":{"date-parts":[[2017,9,5]]},"location":"Lviv","end":{"date-parts":[[2017,9,8]]}},"container-title":["2017 12th International Scientific and Technical Conference on Computer Sciences and Information Technologies (CSIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8086159\/8098722\/08098733.pdf?arnumber=8098733","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,11]],"date-time":"2017-12-11T22:41:53Z","timestamp":1513032113000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8098733\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/stc-csit.2017.8098733","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}