Мавзу: Турли моделлар тузишга оид мисоллар ечиш Компьютерли математика, математик моделлар, сонли усуллар ва аналитик ҳисоблар

Кўпгина КАТ лар, шунингдек қуйидагиларни ўзига олади:
- фойдаланувчиларга ўзларининг алгоритмларини тузишга имконият берадиган дастурлаш тили;
- ихтиёрий аниқликдаги сонли амаллар;
- катта сонлар учун бутун сонли арифметика ва сонлар назарияси функциясини қўллаб-қувватлаш;
- икки ўлчовли шаклда математик ифодаларни муҳаррирлаш (индекслар, оддий касрлар ва бошқалар билан);
- икки ёки уч ўлчовларда функция графигини ясаш ва уларни анимация килиш;
- график ва диаграммаларни ясаш;
- графикларни яратиш ва муҳаррирлаш (компьютер) тасвирлар яратиш, шунингдек сигналларни қайта ишлаш ва тасвирларни таҳлил қилиш;
- овозни сентиз қилиш;
- ташқи дастурлардан фойдаланиш учун(маълумотлар омборлари) ёки дастурлаш тилларида компьютер алгебраси тизимостиларини фойдаланиш учун API ;
- сатрлар билан амаллар (сатростиларни излаш);
- физика, бионформатика, ҳисоблаш кимёси каби соҳалар ва муҳандислик-физик ҳисоблар пакетлари учун амалий математиканинг қўшимча модуллари.
Баъзи КАТлар махсус соҳаларда фойдаланишга йўналтирилган; одатда бундай дастурлар академик хамжамиятлари томонидан ишлаб чиқилади ва бепул тарқатилади. Улар сонли усуллар учун мўлжалланган тизимларга қараганда сонли ҳисобларда самарали бўлмаслиги ҳам мумкин.

¹

2 ⁾ Факторлаш ёки фа́кторинг — объектни кўпайтирилганда дастлабки объект бўладиган бошқа объектлар ёки факторлар кўпайтмасига декомпозиция қилиш (масалан, сон, полином ёки матрицалар) дан иборат. Масалан, 15 сони 3 ва 5 оддий сонларга факторланади, x² − 4 полином эса (x − 2)(x + 2) га факторланади.

3⁾ Верификация — (лот. verificatio исботлаш, таъкидлаш) илмий таъкидларни ҳақиқийлиги ёки эмперик фикрланганлигини ўрнатиш.