Startup configuration
Arithmetic
Other operations on numbers
Calculus
Linear Algebra
Polynomials
List operations
Functional operators
Control flow functions
Predicates
Predicates on numbers
Propositional logic theorem prover
Constants
Variables
Input/Output