Integration theory and random variables

MaRDI QIDQ7361417FDO

Authors Stefan Richter

Publication date 19 November 2004

Cites work

• A formulation of the simple theory of types.
• A theory of type polymorphism in programming
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Isabelle. A generic theorem prover
• Isabelle/HOL. A proof assistant for higher-order logic
• Mechanizing Nonstandard Real Analysis
• Probability with Martingales

This page was built for software: Integration theory and random variables