Integral of Continuous Three Variable Functions-Reference-Cited by-同舟云学术

Integral of Continuous Three Variable Functions

Published:2024-08-01 Issue:1 Volume:32 Page:9-31
ISSN:1898-9934
Container-title:Formalized Mathematics
language:en
Short-container-title:

Author:

Endou Noboru¹,Shidama Yasunari²

Affiliation:

1. National Institute of Technology, Gifu College 2236-2 Kamimakuwa, Motosu, Gifu , Japan

2. Karuizawa Hotch 244-1 Nagano , Japan

Abstract

Summary In this article we continue our proofs on integrals of continuous functions of three variables in Mizar. In fact, we use similar techniques as in the case of two variables: we deal with projections of continuous function, the continuity of three variable functions in general, aiming at pure real-valued functions (not necessarily extended real-valued functions), concluding with integrability and iterated integrals of continuous functions of three variables.

Publisher

Walter de Gruyter GmbH

Link

https://www.sciendo.com/pdf/10.2478/forma-2024-0002

Reference16 articles.

1. Tom M. Apostol. Calculus, volume II. Wiley, second edition, 1969.

2. Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pąk, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261–279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi:10.1007/978-3-319-20615-8 17.

3. Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pąk. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.

4. Sylvie Boldo, Catherine Lelay, and Guillaume Melquiond. Improving real analysis in Coq: A user-friendly approach to integrals and derivatives. In Chris Hawblitzel and Dale Miller, editors, Certified Programs and Proofs – Second International Conference, CPP 2012, Kyoto, Japan, December 13–15, 2012. Proceedings, volume 7679 of Lecture Notes in Computer Science, pages 289–304. Springer, 2012. doi:10.1007/978-3-642-35308-6 22.

5. Sylvie Boldo, Catherine Lelay, and Guillaume Melquiond. Formalization of real analysis: A survey of proof assistants and libraries. Mathematical Structures in Computer Science, 26:1196–1233, 2015.