Programmes

Quatre-vingt-cinq programmes, huit dépôts

Le code source de la recherche : chaque programme est documenté et relié aux articles qu’il illustre.

Spectral Triple Minimality — Quatre théorèmes de minimalité pour triplets spectraux finis (dimension, borne-k, marge-3, non-unicité) et loi arithmétique KO-6. github.com/PORTEMANN/spectral-triple-minimality ↗

certification program

spectral-triple-minimality/src/certification.py · 52 lignes

Certification protocol for reproducible results in finite spectral triple enumeration. Implements pre-computation freeze and hash-based verification to ensure that enumeration parameters are fixed before execution and cannot be altered after.

Unification Analytique et Fondements Mathématiques de … ↗