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