
Series Expansion and Evaluation Axiom can expand many different kinds of series. Here we show a taylor series expansion of exp(x) And then we ask for the value of the terms of the series at 1.0 

Differential Equations First we define that y is an unknown function of x. Next we define the differential equation to be solved. And finally we ask for the solution which gives us both the particular solution and the basis. 
Solution of Equations First we define a system of two equations involving t. We ask for the real roots using rational arithmetic. And we ask for the complex roots. 


Multivariate Polynomials Axiom allows you to create multivariate polynomials. This is a polynomial whose principle variable is x. We can reexpress this as a polynomial in y. We can also collapse the polynomial. 