McCallum, Scott; Weispfenning, Volker Deciding polynomial-transcendental problems. (English) Zbl 1243.03015 J. Symb. Comput. 47, No. 1, 16-31 (2012). MSC: 03B25 68W30 PDFBibTeX XMLCite \textit{S. McCallum} and \textit{V. Weispfenning}, J. Symb. Comput. 47, No. 1, 16--31 (2012; Zbl 1243.03015) Full Text: DOI
Mahboubi, Assia Implementing the cylindrical algebraic decomposition within the Coq system. (English) Zbl 1121.03023 Math. Struct. Comput. Sci. 17, No. 1, 99-127 (2007). Reviewer: Nail Zamov (Kazan) MSC: 03B35 68T15 68Q25 68W30 PDFBibTeX XMLCite \textit{A. Mahboubi}, Math. Struct. Comput. Sci. 17, No. 1, 99--127 (2007; Zbl 1121.03023) Full Text: DOI