Mathematica 9 is now available
Wolfram Mathematica More about Mathematica »
prevnext.gif
 |  | 

非常に強力なブール計算

Mathematica 7ではブール計算の主要新機能を導入し,はじめて大規模なブール計算を主流の計算に持ち込んでいる.最近のアルゴリズム的発展の上に構築された Mathematica 7 は,数百から数十万個の変数を持つブール式を扱う総合的な機能をすべて Mathematica の他の記号的機能に完全に統合させた形で提供し,広範な分野における離散系と論理系の大規模な設計,検証,および最適化を可能にしている.
 
 
 



 


Select Language: en