ℤ/9-Vortex-Framework
Autor: Tsvetan Rouschev · Lizenz: CC BY-NC 4.0 · nachrechenbarer Machbarkeitsnachweis
Ein freies, offenes, nachrechenbares Framework über dem Ring ℤ/9 und der Gruppe (ℤ/7)*. Ein mechanischer Folgerungstest ergibt 0 / 7: Das Framework spiegelt/bildet die Millennium-Probleme ab, es löst sie nicht. Machbarkeitsnachweis, keine Lösung.
Die ausführlichen Seiten sind vorerst auf Englisch, bis sie übersetzt sind: Compute · Research · Verify.