Zulip Chat Archive
Stream: Brownian motion
Topics:
- Mathlib PRs (67 messages, latest: Dec 19 2025 at 17:17)
- Adapted Filtrations for Markov Chains and Markov Processes (4 messages, latest: Dec 14 2025 at 20:04)
- Definition of elementary stochastic integral (18 messages, latest: Dec 14 2025 at 19:18)
- Quadratic variation and Stietjes functions (7 messages, latest: Dec 14 2025 at 19:13)
- Building the docs locally (8 messages, latest: Dec 14 2025 at 12:32)
- Project automation issue (4 messages, latest: Dec 07 2025 at 20:40)
- Debut theorem and Doob-Meyer decomposition (37 messages, latest: Nov 29 2025 at 11:39)
HasLocallyIntegrableSupand friends (32 messages, latest: Nov 29 2025 at 10:29)- CI gets stuck (11 messages, latest: Nov 27 2025 at 19:57)
- Brownian motion preprint (14 messages, latest: Nov 27 2025 at 14:04)
- Status of the project (13 messages, latest: Nov 27 2025 at 09:45)
- Tasks and claims (173 messages, latest: Nov 23 2025 at 16:48)
- PseudoEMetricSpace in Kolmogorov-Chentsov (5 messages, latest: Nov 21 2025 at 08:57)
- Uniform Integrability of Constant Sequence in Lp when p = ∞ (6 messages, latest: Nov 19 2025 at 10:33)
- Right continuous process (19 messages, latest: Nov 18 2025 at 12:45)
- Proof of komlos_norm (2 messages, latest: Nov 17 2025 at 23:32)
- Writing the blueprint (7 messages, latest: Nov 17 2025 at 13:54)
- stopping time bounding the process (5 messages, latest: Nov 16 2025 at 18:50)
- Optional sampling for submartingales (8 messages, latest: Nov 11 2025 at 10:04)
- Right-continuous filtration (11 messages, latest: Nov 08 2025 at 18:40)
- Measurability and separability in Kolmogorov-Chentsov (14 messages, latest: Oct 19 2025 at 16:39)
- ContinuousBilinForm in Mathlib (10 messages, latest: Oct 06 2025 at 21:17)
- Integral against vector measures (25 messages, latest: Oct 05 2025 at 03:37)
- Localization (6 messages, latest: Sep 16 2025 at 05:58)
- Second phase of the project (21 messages, latest: Sep 09 2025 at 19:57)
- If it looks like a duck… (8 messages, latest: Jul 12 2025 at 08:15)
- CI is very slow (10 messages, latest: Jul 03 2025 at 09:47)
- Definition of a Gaussian process (8 messages, latest: Jun 27 2025 at 11:26)
- Standard Gaussian (13 messages, latest: Jun 19 2025 at 11:25)
- Infinite diameter (2 messages, latest: Jun 19 2025 at 09:49)
- Suprema and subtypes (17 messages, latest: Jun 19 2025 at 07:19)
- Coverings and chainings (3 messages, latest: Jun 18 2025 at 13:07)
- channel events (2 messages, latest: Jun 13 2025 at 08:24)
Last updated: Dec 20 2025 at 21:32 UTC