Text this: Symbolic and numerical computation for artificial intelligence /