Other formats:
BibTeX
LaTeX
RIS
@inproceedings{2302943, author = {Líška, Martin and Lupták, Dávid and Starý Novotný, Vít and Růžička, Michal and Shminke, Boris and Sojka, Petr and Štefánik, Michal and Wenzel, Makarius}, address = {CHAM}, booktitle = {INTELLIGENT COMPUTER MATHEMATICS (CICM 2021)}, doi = {http://dx.doi.org/10.1007/978-3-030-81097-9_20}, editor = {978-3-030-81097-9}, keywords = {CICM tools}, howpublished = {elektronická verze "online"}, language = {eng}, location = {CHAM}, isbn = {978-3-030-81096-2}, pages = {245-248}, publisher = {SPRINGER INTERNATIONAL PUBLISHING AG}, title = {CICM'21 Systems Entries}, year = {2021} }
TY - JOUR ID - 2302943 AU - Líška, Martin - Lupták, Dávid - Starý Novotný, Vít - Růžička, Michal - Shminke, Boris - Sojka, Petr - Štefánik, Michal - Wenzel, Makarius PY - 2021 TI - CICM'21 Systems Entries PB - SPRINGER INTERNATIONAL PUBLISHING AG CY - CHAM SN - 9783030810962 KW - CICM tools N2 - 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. ER -
LÍŠKA, Martin, Dávid LUPTÁK, Vít STARÝ NOVOTNÝ, Michal RŮŽIČKA, Boris SHMINKE, Petr SOJKA, Michal ŠTEFÁNIK and Makarius WENZEL. CICM'21 Systems Entries. Online. In 978-3-030-81097-9. \textit{INTELLIGENT COMPUTER MATHEMATICS (CICM 2021)}. CHAM: SPRINGER INTERNATIONAL PUBLISHING AG, 2021, p.~245-248. ISBN~978-3-030-81096-2. Available from: https://dx.doi.org/10.1007/978-3-030-81097-9\_{}20.
|