CICM'21 Systems Entries

• Autoři: LÍŠKA Martin; LUPTÁK Dávid; STARÝ NOVOTNÝ Vít; RŮŽIČKA Michal; SHMINKE Boris; SOJKA Petr; ŠTEFÁNIK Michal; WENZEL Makarius
• Rok publikování: 2021
• Druh: Článek ve sborníku
• Konference: INTELLIGENT COMPUTER MATHEMATICS (CICM 2021)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Doi: https://doi.org/10.1007/978-3-030-81097-9_20
• Klíčová slova: CICM tools
• Popis: This consolidated paper gives an overview of new tools and improvements of existing tools in the CICM domain that occurred since the last CICM conference.