SMS: Symbolic and numerical computation for artificial intelligence /