Informace o publikaci

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

Citace
Doi http://dx.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.

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info