A math interpreter/symbolic processor