Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: The Disintegration Theorem

Email Gateway (Nov 07 2023 at 16:23):

From: Lawrence Paulson <lp15@cam.ac.uk>
I'm happy to announce a new contribution, by Michikazu Hirata: the Disintegration Theorem.

I am omitting the abstract because of its heavy latex content, however he formalizes mixture and disintegraion of measures, taken from the book Random Measures, Point Processes, and Stochastic Geometry by Baccelli et.al. (Chapter 14.D).

You’ll find it online at https://www.isa-afp.org/entries/Disintegration.html

Larry

Last updated: Jan 04 2025 at 20:18 UTC