jtraverso/erdos-81-chordal-clique-partitions — GitHub trending stats & insights | Trendshift

Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

Terms and conditions
Privacy policy

More

Pricing
Advertise
onedump
gosnakego
Contact us

Social

X (Twitter)
GitHub

What they build speaks louder than words

© 2026 Trendshift, created by Julian Li with ❤️

Signal Advertise

Signal Advertise

Discover trends that matter

Daily Weekly Monthly Yearly

Live mentions Topics

Repositories Developers

jtraverso/erdos-81-chordal-clique-partitions — GitHub trending stats & insights | Trendshift

jtraverso/erdos-81-chordal-clique-partitions

Research announcement and timestamped milestone for Erdos Problem #81 on clique partitions of chordal graphs.

TeX

1

1 contributors

Custom license

Social mentions

Recent discussions about this repository across the web

In Paper IV of my series on chordal clique partitions, I present a proposed solution to Erdős Problem #81, formalized in Lean 4. Beyond the bound, I study quantitative stability and the structure of…

@jtraverso · x.com

🧠 I used a custom research framework: gates, claim control, failed-path elimination, computational checks, and a multi-paper proof architecture. AI acted as a strong research counterpart: exploring,…

@jtraverso · x.com

Repository activities

repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues

Featured

Versioned graph database on object storage. Git-style workflows and multimodal retrieval

Control what AI can do before it acts

Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

Your agents build it. Kane verifies it. Writes the tests, runs them, and maintains them

180K+ monthly visitors

Want to advertise your product to high-intent tech audiences at a simple, flat rate?

Advertise on Trendshift