Publication details

CICM'21 Systems Entries

Authors

LÍŠKA Martin LUPTÁK Dávid STARÝ NOVOTNÝ Vít RŮŽIČKA Michal SHMINKE Boris SOJKA Petr ŠTEFÁNIK Michal WENZEL Makarius

Year of publication 2021
Type Article in Proceedings
Conference INTELLIGENT COMPUTER MATHEMATICS (CICM 2021)
MU Faculty or unit

Faculty of Informatics

Citation
Doi http://dx.doi.org/10.1007/978-3-030-81097-9_20
Keywords CICM tools
Description 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.

You are running an old browser version. We recommend updating your browser to its latest version.

More info