$Assumptionsis the default setting for the Assumptions option used in such functions as Simplify, Refine, and Integrate.
Set global assumptions:
The assumptions are now used by Refine and Integrate:
Locally add assumptions:
Locally change assumptions:
Remove the global assumptions:
Assuming Block Assumptions
400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »