Assumptions and Domains

The Wolfram Language has a flexible system for specifying arbitrary symbolic assumptions about variables. It uses a wide range of sophisticated algorithms to infer the consequences of assumptions—often in the process automatically proving a sequence of necessary mathematical theorems.