×

Found 757 Documents (Results 1–100)

A categorical construction of the real unit interval. (English) Zbl 07804571

Kishida, Kohei (ed.), Proceedings of the fourth international conference on applied category theory 2021, ACT 2021, Cambridge, UK, July 12–16, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 43-58 (2022).
PDFBibTeX XMLCite
Full Text: arXiv Link

Modes of continuity in diagram for intermediate value theorem. (English) Zbl 1514.00009

Pietarinen, Ahti-Veikko (ed.) et al., Diagrammatic representation and inference. 11th international conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12169, 34-49 (2020).
MSC:  00A35 00A30 26A03
PDFBibTeX XMLCite
Full Text: DOI

A formalization of properties of continuous functions on closed intervals. (English) Zbl 1503.68298

Bigatti, Anna Maria (ed.) et al., Mathematical software – ICMS 2020. 7th international conference, Braunschweig, Germany, July 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12097, 272-280 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Mathematical physical chemistry. Practical and intuitive methodology. 2nd edition. (English) Zbl 1508.81002

Singapore: Springer (ISBN 978-981-15-2224-6/hbk; 978-981-15-2227-7/pbk; 978-981-15-2225-3/ebook). xviii, 916 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Explorations in analysis, topology, and dynamics. An introduction to abstract mathematics. (English) Zbl 1475.26003

Pure and Applied Undergraduate Texts 44. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5270-4/pbk; 978-1-4704-5685-6/ebook). xiii, 178 p. (2020).
PDFBibTeX XMLCite

Verified real asymptotics in Isabelle/HOL. (English) Zbl 1467.68204

Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM). 147-154 (2019).
MSC:  68V15 26A03 68W30
PDFBibTeX XMLCite
Full Text: DOI

Fraktal and differential properties of the inversor of digits of \(Q_s\)-representation of real number. (Fractal and differential properties of the inversor of digits of \(Q_s\)-representation of real number.) (English) Zbl 1432.26004

Sadovnichiy, Victor A. (ed.) et al., Modern mathematics and mechanics. Fundamentals, problems and challenges. Cham: Springer. Underst. Complex Syst., 79-95 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference