burkholder

Here are 2 public repositories matching this topic...

ccli-taipower / A_History_of_Western_Music

Power Point Slides in Traditional Chinese based on "A History of Western Music", 10th edition, J. Peter Burkholder, Donald Jay Grout, Claude V. Palisca

traditional-chinese teaching-materials musicology study-materials lecture-slides bilingual classical-music music-history music-education burkholder grout-palisca nawm

Updated May 12, 2026
Python

SmaniaD / Burkholder

Star

This repository formalizes in Lean the Burkholder martingale transform inequality, including the construction of Burkholder’s majorant function and its application to sharp Lp estimates for real-valued martingales.

analysis probability mathematics proof-assistant formalization inequality martingale mathlib martingales lean4 mathematical-proof formalized-mathematics formalised-mathematics burkholder

Updated May 16, 2026
Lean

Improve this page

Add a description, image, and links to the burkholder topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the burkholder topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly