Stav dette: Symbolic and numerical computation for artificial intelligence /