Steinberg, Florian; Thery, Laurent; Thies, Holger Computable analysis and notions of continuity in Coq. (English) Zbl 07350782 Log. Methods Comput. Sci. 17, No. 2, Paper No. 16, 43 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{F. Steinberg} et al., Log. Methods Comput. Sci. 17, No. 2, Paper No. 16, 43 p. (2021; Zbl 07350782) Full Text: arXiv Link
Steinberg, Florian; Théry, Laurent; Thies, Holger Quantitative continuity and computable analysis in Coq. (English) Zbl 07649977 Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 28, 21 p. (2019). MSC: 68V15 PDFBibTeX XMLCite \textit{F. Steinberg} et al., LIPIcs -- Leibniz Int. Proc. Inform. 141, Article 28, 21 p. (2019; Zbl 07649977) Full Text: DOI