{'fraction_non_alphanumeric': 0.01517706576728499, 'fraction_numerical': 0.006745362563237774, 'mean_word_length': 4.4495412844036695, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Cylindrical Algebraic Decomposition Presented

This handout is a companion to the ISSAC 2004 tutorial Cylindrical Algebraic Decomposition. It is not intended to stand on its own, rather it is written for someone who has attended the tutorial and taken in the background, motivation, and explanations given there. It is also not intended to thoroughly cite all works pertaining to CAD. It is intended to be a guide to someone who might want to read further on this subject. It is intended give quick recaps of the ideas and definitions arising in the talk. I hope it is able to serve that role.