Recycled roots under reduction and descent in the Casas-Alvero problem
Source files
root filecasas_alvero_type.tex · root file28 KiB · SHA-256 da88fd68fb6eb88b… · view textancillaryanc/run_t2f.py8 KiB · SHA-256 41849703675987ee… · view textancillaryanc/type3_check.py3 KiB · SHA-256 502a444def9d13a8… · view textancillaryanc/verify_ca_type.py11 KiB · SHA-256 d1462f57be56ec70… · view textancillaryanc/verify_type4.py12 KiB · SHA-256 92ab422bd6ce25ca… · view text