Intelligent mathematical software systems | lit.salon