Narkawicz, Anthony Joseph; Munoz, Cesar; Dutle, Aaron A decision procedure for univariate polynomial systems based on root counting and interval subdivision. (English) Zbl 1451.68326 J. Formaliz. Reason. 11, 19-41 (2018). MSC: 68V15 26C10 65H10 PDFBibTeX XMLCite \textit{A. J. Narkawicz} et al., J. Formaliz. Reason. 11, 19--41 (2018; Zbl 1451.68326) Full Text: DOI
Narkawicz, Anthony A formal proof of the Riesz representation theorem. (English) Zbl 1451.68325 J. Formaliz. Reason. 4, No. 1, 1-24 (2011). MSC: 68V15 26A42 46B10 46C05 68V20 PDFBibTeX XMLCite \textit{A. Narkawicz}, J. Formaliz. Reason. 4, No. 1, 1--24 (2011; Zbl 1451.68325) Full Text: DOI