Pages that link to "Item:Q3088003"
From MaRDI portal
The following pages link to Three Chapters of Measure Theory in Isabelle/HOL (Q3088003):
Displaying 27 items.
- A learning-based fact selector for Isabelle/HOL (Q331617) (← links)
- Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation (Q782499) (← links)
- Formal probabilistic analysis of detection properties in wireless sensor networks (Q903510) (← links)
- A formally verified proof of the central limit theorem (Q1694568) (← links)
- Markov chains and Markov decision processes in Isabelle/HOL (Q1701041) (← links)
- From types to sets by local type definition in higher-order logic (Q1722645) (← links)
- Fubini's theorem for non-negative or non-positive functions (Q1796769) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- Program logic for higher-order probabilistic programs in Isabelle/HOL (Q2163157) (← links)
- An Isabelle/HOL formalisation of Green's theorem (Q2323451) (← links)
- Formalization of Shannon's theorems (Q2352494) (← links)
- On the formalization of gamma function in HOL (Q2352499) (← links)
- Formal reasoning about finite-state discrete-time Markov chains in HOL (Q2434565) (← links)
- A Coq formalization of Lebesgue integration of nonnegative functions (Q2673304) (← links)
- Formalization of Normal Random Variables in HOL (Q2817293) (← links)
- Formal Dependability Modeling and Analysis: A Survey (Q2817299) (← links)
- An Isabelle/HOL Formalisation of Green’s Theorem (Q2829238) (← links)
- From Types to Sets by Local Type Definitions in Higher-Order Logic (Q2829259) (← links)
- Formalization of real analysis: a survey of proof assistants and libraries (Q2973239) (← links)
- Towards Formal Fault Tree Analysis Using Theorem Proving (Q3453105) (← links)
- Formalizing Ordinal Partition Relations Using Isabelle/HOL (Q5094473) (← links)
- Towards the Formal Reliability Analysis of Oil and Gas Pipelines (Q5495912) (← links)
- A formal proof of the expressiveness of deep learning (Q5915784) (← links)
- Verified analysis of random binary tree structures (Q5919010) (← links)
- A formal proof of the expressiveness of deep learning (Q5919583) (← links)
- Measure construction by extension in dependent type theory with application to integration (Q6050768) (← links)
- Multidimensional measure space and integration (Q6557119) (← links)
