A mathematical reasoning and, Algebraic computational engine. Plus it can learn YOUR formulae!