The Hahn and Jordan decomposition theorems

[PDF] aist.go.jp

[PDF][PDF] A progress report on formalization of measure theory with MathComp-Analysis

Y Ishiguro, R Affeldt - 25th Workshop on Programming and …, 2023 - staff.aist.go.jp
We are concerned with the formalization of measure theory in the Coq proof assistant.
Concretely, we extend MathComp-Analysis, a library for functional analysis built on top of …
被引用次数：8 相关文章
[PDF] jst.go.jp

The Radon-Nikodým theorem and the Lebesgue-Stieltjes measure in Coq

Y Ishiguro, R Affeldt - コンピュータソフトウェア, 2024 - jstage.jst.go.jp
We are concerned with the formalization of measure theory in the Coq proof assistant.
Concretely, we extend MathComp-Analysis, a library for functional analysis built on top of …
被引用次数：3 相关文章
[PDF] aist.go.jp

[PDF][PDF] The Radon-Nikodým Theorem and the Lebesgue-Stieltjes Measure in Coq

YIR Affeldt - staff.aist.go.jp
We are concerned with the formalization of measure theory in the Coq proof assistant.
Concretely, we extend MathComp-Analysis, a library for functional analysis built on top of …
相关文章