SYMBOLIC MATHEMATICS
Wir müssen wissen,
Wir werden wissen.
David Hilbert
Start with a question.Try
factor(x^4-1) or pick an example from the shelf.This is a saved transcript. Resume re-runs completed inputs and their recorded answers to restore your definitions.