a Lean implementation of Jensen's Inequality
-
Updated
Jun 21, 2023 - Lean
#
jensen-inequality
Here are 3 public repositories matching this topic...
A cheat sheet with five useful inequalities
cheat-sheet inequalities rearrangement-inequality cauchy-schwarz-inequality am-gm-inequality holder-inequality jensen-inequality
-
Updated
Jan 26, 2019 - TeX
Derivative-free curvature estimation via the K-R defect operator. Python library for the paper published in Boundary Value Problems, Springer Nature 2026. Author: RamaKrishna Pasupuleti
python mathematics inverse-problems numerical-analysis derivative-free inequalities jensen-inequality boundary-value-problems springer-nature curvature-estimation
-
Updated
Jul 25, 2026 - Python
Improve this page
Add a description, image, and links to the jensen-inequality topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the jensen-inequality topic, visit your repo's landing page and select "manage topics."