Stream: Mirror: Isabelle Users Mailing List

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


view this post on Zulip 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: Apr 28 2024 at 20:16 UTC