formalized arithmetic算法: algorithm機(jī)械化算法: mechanization algorithm極小化算法: minimization algorithm集中化算法: centralized algorithm簡(jiǎn)化算法: shortcut calculation下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯