Research methodology of mathematical support of computing machines and systems | IEEE Conference Publication | IEEE Xplore