工業(yè)強(qiáng)度的布爾計(jì)算»
把高性能的布爾分析、優(yōu)化和驗(yàn)證運(yùn)用到有著數(shù)以千計(jì)變量的系統(tǒng)中— 所有這些都已經(jīng)整合入了Mathematica 的工作流程。
離散運(yùn)算»
成功實(shí)現(xiàn)運(yùn)用全面的離散符號運(yùn)算系統(tǒng)來解決新一代的離散問題。
時滯微分方程»
時滯微分方程現(xiàn)在已成為Mathematica 的全自動數(shù)控微分方程求解的一個組成部分。
微分和差分根»
Mathematica 7可直接處理微分和差分方程的隱式解 —由此極大地泛化了特殊函數(shù)的概念。
新的數(shù)理論能力»
在分析、乘法數(shù)論和加法數(shù)論中,又有新的方面可被直接用于Mathematica 計(jì)算。
新類別的特殊函數(shù)»
q 函數(shù),L-函數(shù)以及一系列其它函數(shù),使Mathematica 擁有世界上最多的特殊函數(shù)。
強(qiáng)化的傅立葉分析»
顯式的傅立葉級數(shù)現(xiàn)在完全融入Mathematica 的符號功能。
7.0 的新功能»
數(shù)學(xué)和運(yùn)算法則的新功能指南
其它新增功能
綜合幾何計(jì)算»
組合優(yōu)化»
約束非線性優(yōu)化»
等式定理證明»
高級別字符串計(jì)算»
新一代數(shù)值積分»