SC-Square 2021
Satisfiability Checking and Symbolic Computation 2021

Proceedings of the 6th SC-Square Workshop
co-located with the SIAM Conference on Applied Algebraic Geometry (SIAM AG 2021)

Virtual Event, College Station, United States, August 19–20, 2021.

Edited by

Curtis Bright *
James H. Davenport **

* University of Windsor, School of Computer Science, Windsor, Canada
** University of Bath, Department of Computer Science, Bath, United Kingdom

Table of Contents

Invited Talks

Contributed Papers

2022-10-29: submitted by Curtis Bright, metadata incl. bibliographic data published under Creative Commons CC0
2022-11-14: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|