inequalities

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.

IntvalPy - a Python interval computation library (interval arithmetic)

Tactic for polynomial manipulations

Inequalities in Homophilic Directed ScaleFree Networks

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

Linear Matrix Inequality and Control (with youtube movie)

An R package to Compute Summary Measures of Health Inequality

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

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

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

Plot inequalities in 2-D space

A cheat sheet with five useful inequalities

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

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

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

A complete proof and Lean 4 formalization of nested violation sets for the generalized Damascus inequality.

web

Econometrics project on the role of racial inequalities on employability - ENSAE ParisTech