Kompiuterinė algebra baigtinių elementų metode
Abstract
Pirmieji darbai analitinių manipuliavimų kompiuteriais srityje pasirodė 1950-aisiais. Vienas iš įdomių šios veiklos bruožų yra tai, kad terminologija iki šiol nenusistovėjusi. Pirmieji terminai, naudoti šiai veiklai vadinti, buvo "formalūs algebriniai manipuliavimai" arba "formuliniai manipuliavimai". Vėliau buvo pradėti naudoti terminai "neskaitmeninė matematika", "formalūs matematiniai skaičiavimai", "simbolinė matematika" arba "simboliniai manipuliavimai". Paskutiniu metu plačiausiai naudojami yra "simbolinių skaičiavimų" arba tiesiog "kompiuterinės algebros" vardai. Mes pasirinkome paskutinįjį terminą. Tačiau nepaisant to, koks terminas vartojamas, jis naudojamas apibrėžti veiklai, kurioje kai kurie formaliosios matematikos aspektai atliekami skaitmeniniais kompiuteriais.