RISC Partner: FLLL – Department of Knowledge-Based Mathematical Systems