An intuitive modeling interface for infinite-dimensional optimization problems.
📕 Proof-Based Math Readings is a free, independent online reading group where we study the mathematics required for economics master’s and PhD programs through an intuitive approach. Active since May 2023.
Own solutions for exercises in "Real Analysis for Graduate Students" by Richard F. Bass.
Welcome to the course page for Stochastic Calculus and Mathematical Finance, taught by Prof. Sandeep Juneja.
一套持续整理与更新的数学知识体系，贯穿代数、分析、概率与统计。 适合系统阅读，也适合随时查阅。
Riemann vs Lebesgue integral visualizations - 黎曼与勒贝格积分可视化,让实变函数看得见
This is a copy of Professor David H. Fremlin's great series of Measure Theory.
A Julia library for reasoning about measure-zero events in continuous probability, including density-based relevance, epsilon-neighbourhoods, Hausdorff-style measures, classical paradoxes and extreme-event risk analysis.
Danilo Jr Dela Cruz MATH40008 Poster Project on Concentration Phenomena in Asymptotic Geometry
Ejercicios resueltos de Análisis Matemático II (UGR)
Math related Lecture Notes
Machine-checked Lean 4 proofs for "Inconsistency Accumulation in Forward-Local Sequential Policies." Quantitative lower bound E[I_N] >= N/|U| with measure-theoretic verification via two independent proof paths, plus Proposition 1 summary sufficiency and Section 7 arithmetic witnesses.
Formalization library for measure-theoretic probability and probabilistic programming
Nonlinear Regression based on scikit-learn.
Creation of figures for papers pertaining to the MUD (Maximal Updated Density) method for Parameter Estimation.
A library of methods and structures for evaluating integrals and solving integral equations posed on fractals.
Lean 4 formalization of Lévy processes on mathlib
高等概率论逐页中文精讲：课件原页对照、零基础补课、公式推导与例子；作业与小测逐题精讲，逐行订正原解答。Advanced Probability Theory, page-by-page notes in Chinese.
A proof of Kakeya conjecture (currently rough draft)
To associate your repository with the measure-theory topic, visit your repo's landing page and select "manage topics."