符號(hào)運(yùn)算
符

符號(hào)運(yùn)算　　　

亦稱“計(jì)算機(jī)代數(shù)”。研究如何利用計(jì)算機(jī)進(jìn)行公式推導(dǎo)和解析運(yùn)算的學(xué)科。與數(shù)值運(yùn)算共為科學(xué)計(jì)算的兩個(gè)方面。符號(hào)運(yùn)算將處理的對(duì)象（字母、公式或數(shù)）視為符號(hào)，運(yùn)算中沒有舍入誤差，獲得的結(jié)果是正確的，但并非所有問題都可進(jìn)行符號(hào)運(yùn)算，局限性比數(shù)值運(yùn)算大。一般來說，需要花費(fèi)大量手工推導(dǎo)的工作可借助符號(hào)運(yùn)算來完成，例如x⁴⁰－1的因式分解。它還應(yīng)用于人工智能的許多領(lǐng)域，如定理的機(jī)器證明等。