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