SC-Square: Overview to 2021
Symbolic Computation
2022-11-30 v1
Abstract
This extended abstract was written to accompany an invited talk at the 2021 SC-Square Workshop, where the author was asked to give an overview of SC-Square progress to date. The author first reminds the reader of the definition of SC-Square, then briefly outlines some of the history, before picking out some (personal) scientific highlights.
Cite
@article{arxiv.2209.04359,
title = {SC-Square: Overview to 2021},
author = {Matthew England},
journal= {arXiv preprint arXiv:2209.04359},
year = {2022}
}
Comments
6 pages. Survey paper. Accepted into the workshop proceedings