Mathematica 9 is now available
Wolfram Mathematica More about Mathematica »
 |  | 

Industrial-Strength Boolean Computation

Mathematica 7 introduces major new capabilities in Boolean computation, for the first time bringing large-scale Boolean computation into mainstream computing. Building on recent algorithmic advances, Mathematica 7 provides comprehensive capabilities for handling Boolean expressions with hundreds to hundreds of thousands of variables—all fully integrated with Mathematica's other symbolic capabilities—making possible new approaches to large-scale design, verification and optimization of discrete and logical systems in a wide variety of fields.

Learn More
Mathematica 9 is now available!
Over 400 new functions, including the new Wolfram Predictive Interface…

Select Language: ja