Kremer, Gereon; Ábrahám, Erika Fully incremental cylindrical algebraic decomposition. (English) Zbl 1432.68601 J. Symb. Comput. 100, 11-37 (2020). MSC: 68W30 68R07 PDFBibTeX XMLCite \textit{G. Kremer} and \textit{E. Ábrahám}, J. Symb. Comput. 100, 11--37 (2020; Zbl 1432.68601) Full Text: DOI
Butler, G.; Lam, C. W. H. A general backtrack algorithm for the isomorphism problem of combinatorial objects. (English) Zbl 0611.05030 J. Symb. Comput. 1, 363-381 (1985). Reviewer: M.M.Sysło MSC: 05C25 68R10 PDFBibTeX XMLCite \textit{G. Butler} and \textit{C. W. H. Lam}, J. Symb. Comput. 1, 363--381 (1985; Zbl 0611.05030) Full Text: DOI