Symbolic and numerical computation for artificial intelligence | lit.salon