author = {J. Schicho}, title = {{JSC}}, language = {english}, isbn_issn = {0747-7171}, year = {2020}, editor = {J. Schicho}, length = {0}, url = {https://www.journals.elsevier.com/journal-of-symbolic-computation}