inequalities 开源项目推荐（33 个）

hannahawalsh /ESG_AI

该项目在 GitHub 上没有填写描述

ForeverHaibara /Triple-SOS

Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares proofs for Olympiad-level problems. Built on SymPy.

AndrosovAS /intvalpy

IntvalPy - a Python interval computation library (interval arithmetic)

thery /PolTac

Tactic for polynomial manipulations

gesiscss /Homophilic_Directed_ScaleFree_Networks

Inequalities in Homophilic Directed ScaleFree Networks

The-Strategy-Unit /visualising-inequalities

R code underlying the joint Strategy Unit / British Heart Foundation (BHF) project to visualise socio-economic inequalities in the CHD pathway

Hiroshi-Okajima /Linear-matrix-inequality-and-control-MATLAB_fandamental_control

Linear Matrix Inequality and Control (with youtube movie)

WHOequity /healthequal

An R package to Compute Summary Measures of Health Inequality

Robinlovelace /cycle-hire-inclusive

Code and example data underpinning paper on the social and spatial distribution of cycle hire scheme provision and use

ApostolisFalaras /ESSPIN-Relational-Matrix-Platform

Full-stack web platform for the ESSPIN Horizon research project, enabling analysis of economic, social, and spatial inequalities across Europe.

AndreasxHoehn /QALE_Exemplar

Estimating Quality-Adjusted Life Expectancy - alongside other population health metrics such as Life Expectancy and Lifespan Variation - for UK Local Authority Districts using publicly available data: a pipeline from data extract to final map with one click

AEjonanonymous /OPN

A Formal Proof of the Non-Existence of Odd Perfect Numbers for Euler Primes p ≥ 5 via Structural Divisibility Constraints.

isantosruiz /inequalityplot

Plot inequalities in 2-D space

pragyaangaur /Real-Power-Cauchy-Schwarz

Lean 4 proof of the real-power Cauchy-Schwarz conjecture of Johnston, Plosker, Torrance and Varona, with equality cases and weighted versions.

CarlosLunaMota /InequalitiesCheatSheet

A cheat sheet with five useful inequalities

cozuya /gyires-permanent-4x4

Lean-checked proof of the n=4 case of Gyires' permanent inequality (Cheon–Wanless Conjecture 20), including equality. Uses native_decide (trusts Lean's compiler); general n is not addressed here. No novelty claim.

novacx0222 /Sigma_4

The utility tool of calculating some algebraic inequalities which have exactly 3 variables.

BCC-PHM /maternity-outcomes

Analysis of the wider determinants of birth outcomes in Birmingham and Solihull

redeslabchile /redeslab.github.io

web

abrormaksudov /InequalitiesNotes

该项目在 GitHub 上没有填写描述